function jiveGotoPageDirectly(url) {
	document.location = url;
}