context: function con_ua (){    var ary = navigator.userAgent.match (/;\s*([^;\s]+\s*)\).*\/(\d+)/);    if (ary)    {        return ("Venkman " + __vnk_version + __vnk_versionSuffix +                 " [Mozilla " + ary[1] + "/" + ary[2] + "]");            }    return ("Venkman " + __vnk_version + __vnk_versionSuffix + " [" +             navigator.userAgent + "]");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js