document.write (" 25102 ");