if (top.location != location) {
    top.location.href = document.location.href ;
}

function appendBreadcrumb(url, title) {
	var breadcrumbs = document.getElementById('breadcrumb').innerHTML;
	breadcrumbs += ' &gt; <a href="' + url + '">' + title + '</a>';
	document.getElementById('breadcrumb').innerHTML = breadcrumbs;	
}