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