document.write (" 25223 ");