document.write ("3943 ");