document.write (" 25052 ");