document.write('6 2 0 1 ');