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