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