document.write('3 9 1 4 1 ');