document.write('9612 ');