rem: href = href.substring(0, get_begin); 
add: href = href.substring(0, '?') 
context: function jump_change_get(get, w){  href = document.location.href;  is_get = href.indexOf('?');  if(is_get > -1)    href = href.substring(0, get_begin);  jump(href + '?' + get, w);}
meta: 8196	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8196/61ced63579a8879ca693ea3082fbbf7b85c85262/common.js/buggy/php4/branches/2.3alpha/shared/js/common.js