<!--
function blockError()
{
return true;
}
window.onerror = blockError;
// -->
function hidemain() {
var div_ref = document.all("main");
  div_ref.style.display = "none";
}

function showmain() {
var div_ref = document.all("main");
  div_ref.style.display = "block";
}

function doTooltip(e, msg) {
  if ( typeof Tooltip == "undefined" || !Tooltip.ready ) return;
  Tooltip.show(e, msg);
}

function hideTip() {
  if ( typeof Tooltip == "undefined" || !Tooltip.ready ) return;
  Tooltip.hide();
}
	
// variables for tooltip content 

//-->