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