text pasted in html file