change name of html file