document.write('<p>该命令修改的文件的名称是file_contexts.local。</p>');