<!--
t = document.title;
var who = "Denver Maps"
var url = window.location.href;
var txt = "Bookmark Us!"
var ver = navigator.appName
var num = parseInt(navigator.appVersion)
var bolOnMapTip = false;

var mousex = 0;
var mousey = 0;

function setOnMapTip(bolValue)
{
	//alert(bolValue);
	bolOnMapTip = bolValue
}

function bookmark() {
  var bolSuccess = false;
  
  if ( window.external ) {
    if ((ver == "Microsoft Internet Explorer") && (num >= 4)) {
      window.external.AddFavorite(url,who);
      bolSuccess = true;
    }
  } 
  
  if (! bolSuccess) {
    alert("The page could not be automatically bookmarked.  Please refer to your browser for instructions on how to bookmark this page.")
  }
  
}

function showMapTip(tooltipDiv, text)
{
	bolOnMapTip = true;
  if (text.length > 0)
  {
    // Get the maptip div
    var maptip = document.getElementById('maptip');
    maptip.style.visibility = 'visible';

    // Get the maptipshadow div
    var maptipshadow = document.getElementById('maptipshadow');
    
    
    // Calculate the position of the maptip
    var left = parseFloat(tooltipDiv.parentNode.style.left.replace('px',''));
    var top = parseFloat(tooltipDiv.parentNode.style.top.replace('px',''));
    
    // Set the location of the maptip relative to location
    var tooltipOffsetX = 18;
    var tooltipOffsetY = -19;
    
    // Set the content and location of the maptip
    maptip.style.left = left + tooltipOffsetX + 'px';
    maptip.style.top = top + tooltipOffsetY + 'px';
    maptip.innerHTML = text;
    
    
  }
}

function hideMapTip()
{
  var maptip = document.getElementById('maptip');
  
  //setTimout("closeMapTip()",1200);
  
  if(bolOnMapTip)
  {
	  setTimeout ( "hideMapTip()", 1000 );
  }
  else
  {
	  maptip.style.visibility = 'hidden';
  }
  
}

function enableRadioButton(strElementID)
{
	var radioButton = document.getElementById(strElementID);
	if(radioButton != null)
	{
	radioButton.checked = true;
	radioButton.onclick();
	}
}
//-->