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