rem: w.location.href = LOADING_STATUS_PAGE; w.location.href = href; 
add: w.location.href = LOADING_STATUS_PAGE; w.location.href = href; 
context: function jump(href, w){	if(!w)		w = window;	w.location.href = LOADING_STATUS_PAGE;	w.location.href = href;	}
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