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