document.write (" 3843 ");