Ignoring HTML tags in PHP (resolved!)

I've got a textbox that users can enter search queries into, but if they are sneaky and enter html tags, it mucks up the results page.

How can I make tags come out as written rather than being processed by the browser, so if they type "<font color="#0000ff">hello</font>" it prints "<font color="#0000ff">hello</font>" rather than "hello"?

How's about, if PHP has a Replace-like function, replacing every occurance of < with &lt; and > with &gt;?

good thinking batman

I forgot about those &lt; and &gt; things

ah, cool

http://www.php.net/manual/en/function.str-replace.php

That user-contributed notes thing is way cool :)