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