document.write('1 3 9 0 7 ');