function jumpToMain( base_url )         
{ 
	var b = window.location.href; 
	mainpage = base_url + 'frontpage.php'; 
	if(b.indexOf(mainpage) == -1) window.location.href = mainpage;
}