Hmm, okay! 

(Oh forgot to say, for future reference, you can do the above line as:

    """<a name="top"></a>"""; 


Just a bit cleaner since you don't have to worry about the quotes at all.