manipulate the html document