document.write (" 25024 ");