document.write('4132 ');