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