document.write('9 2 7 5 ');