rem: Divmod.Runtime.InternetExplorer.isThisTheOne = function isThisTheOne() { return navigator.appName == "Microsoft Internet Explorer"; 
add: Divmod.Runtime.Opera.isThisTheOne = function isThisTheOne() { return navigator.userAgent.indexOf('Opera') != -1; 
context: Divmod.Runtime.InternetExplorer.isThisTheOne = function isThisTheOne() {    return navigator.appName == "Microsoft Internet Explorer";};
meta: 1565	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1565/17381869986ef8db92feec0a438b73dccd24525b/runtime.js/buggy/nevow/runtime.js