document.write (" 6252 ");