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