I am doing taking on a webpage for one of the departments at my university and it is really bloated. It is like 20MB and has like 650 files. Anyway, its nearly all HTML and while I will eventually redesign it to be easier to update, there is a lot of stuff that needs to fixed on it now. For example, they had a header that had the room number of their office, which was like 2 years out of date and needed to be changed. The problem is that they have this header on EVERY HTML document on the site(about 400+). It took me 4 hours to manually change the room number on each page. Is there a program that can batch-edit HTML code?