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