document.write (" 25702 ");