Rename DOM.html to DOM_element.html