function locationBaseHref(relative_url) { 
	document.location.href = document.getElementsByTagName('base')[0].href + relative_url;	
}