<!--
  function nav(newLocation){if (this.parent.length == 2) {var nls = "/"+newLocation;var nll = nls.length;var ol = "" + parent.frames[0].location; var oll = ol.length; if (!(nls === ol.substring(oll-nll))){ parent.frames[0].location=newLocation;}}}
//-->