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