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