change any character into HTML
This simple script simply changes any character into HTML-compatible code.