document.write (" 3884 ");