document.write (" 25505 ");