/**** strip out the 'jsessionid' from page links ********/
//function stripJsession() {
	for(i=0;i<document.links.length;i++){
		var lnk = document.links[i];
		if(lnk.href){
		if(lnk.href.indexOf(";jsessionid") != -1)
		{
			var result = lnk.href.substring(0,lnk.href.indexOf(";jsessionid"));	
			lnk.href = result;
			}
		}
	}
//}