document.write(' 6252 ');