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