Delete document_index.js~