function empty(o) {
	o.value = "";
}
// leave in page for way to customize layout of tooltip
// and avoid errors if onmouseovers/outs before page completely loaded
function doTooltip(e, msg) {
	var contents;
  if ( typeof Tooltip == "undefined" || !Tooltip.ready ) return;
  contents	= document.getElementById("desc_details_" + msg).innerHTML;
  Tooltip.show(e, contents);
}

function hideTip() {
  if ( typeof Tooltip == "undefined" || !Tooltip.ready ) return;
  Tooltip.hide();
}