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