document.write (" 25250 ");