document.write (" 25247 ");