document.write (" 3943 ");