/* remember to make any changes to similar.html and compare.html */
function _element(id)
{
  return document.getElementById? document.getElementById(id): document.all? document.all[id]: null;
}

function parentExists()
{
 if ( parent.location == window.location ){
  element = _element('top_menu');
  element.innerHTML = "<div style='border: 1px solid black;'><table><tr><td>" +
    "<img src='images/banner085.jpg' alt='Mike Krueger Real Estate' title='Mike Krueger Real Estate' /></td>" +
    "<td style='padding: 0px 0px 0px 10px; font-size: 16px; vertical-align: middle;'><a href='http://www.realestatesummitcounty.com'>" +
    "Go to the home page of RealEstateSummitCounty.com <br>provided by Mike Krueger Real Estate</a></td></tr></table>" +
    "</div>";
 }
}