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