document.write (" 9252 ");