document.write(' 7252 ');