rem: href = document.location.href; is_get = href.indexOf('?');  if(is_get > -1) href = href.substring(0, get_begin);  jump(href + '?' + get, w); 
add: href = document.location.href; is_get = href.indexOf('?');  if(is_get > -1) href = href.substring(0, get_begin);  jump(href + '?' + get, w); 
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/95f0574e16d3e1e536e50959a55258aad81b8544/common.js/buggy/php4/branches/2.2.2/shared/js/common.js