document.write (" 25042 ");