document.write (" 25230 ");