document.write(' 4943 ');