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