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