document.write (" 40612 ");