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