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