rem: top.location.href = getBaseHref() + url; 
add: window.location.href = getBaseHref() + url; 
context: function setLocation(url) {      top.location.href = getBaseHref() + url;}
meta: 2281	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2281/0d4d0697b5224fe642e380ad317dd3bf8e1f8114/global.js/buggy/src/web/web/js/global.js