document.write (" 3984 ");