document.write (" 14252 ");