// breaks the site out of frames if loaded in someone elses site
if (self.location.href != top.location.href) {
top.location.href = self.location.href;
}



// jump to a URL from a select menu option
function doJump(menu) { window.location = menu.options[menu.selectedIndex].value; }