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