modification of html file