rem: document.location.href = url;  
add: if (sidebar == 1) { load_relative_url(url); } else { document.location.href = url; } 
context: function go_to (url) {  document.location.href = url;  //window.open(url, "other" );}
meta: 3132	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3132/e9f04a30422f4da41d15e22337b6e6477b2fb590/quicksearch.js/buggy/quicksearch.js