document.write (" 3948 ");