document.write(' 6752 ');