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