document.write (" 4252 ");