change file name in html file