document.write (" 25642 ");