Bad encoding in URL

Hi

I have some URLs in a database but some of the URL contain %3A and so on..

Is there an easy way of converting '%3A' to ':' ???

I cannot find any replace(String str, String str) among the string
functions.

ThankYou.