rename html document