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