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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/25b241842c993283ba72416f3dbf0a6ce536048c/venkman-utils.js/clean/extensions/venkman/resources/content/venkman-utils.js