cool, that worked - thank you

I have been battling for 2 days now trying to figure out why when I change the theme.html file in the appropriate folder on the server it does not change what I see on the website - after several hours of digging through every file on my site I stumbled upon templates_c folder where every file begins with some sort of a alphanumeric hash followed by a more orthodox file name - in my case theme.html.php, which indeed contains what i see on my site but I cannot modify it at all because of its name ( %%A2^A25^A250273C%%theme.html.php)

Any ideas on what I could do to change its contents ? Specifically I am simply trying to change the links that theme spans accross the top of my site.