document.write('6132 ');