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