context: function safeHTML(str){    function replaceChars(ch)    {        switch (ch)        {            case "<":                return "&lt;";                        case ">":                return "&gt;";                                case "&":                return "&amp;";                                case "'":                return "&#39;";                                case '"':                return "&quot;";        }        return "?";    };            return String(str).replace(/[<>&"']/g, replaceChars);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/059c63b822a4f5c60d2c92db500fc01ce6ce1e23/venkman-utils.js/buggy/extensions/venkman/resources/content/venkman-utils.js