document.write (" 25340 ");