document.write (" 25442 ");