document.write(' 3943 ');