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