document.write (" 3875 ");