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