<!--
function changeNavHilite(dest) {
         parent.nav.stay(dest)
}
if (window.name != "main")
location.href="index.html";
// -->