/******************************************/
// MENU
/******************************************/

function doMenu(id,display) {
document.getElementById(id).style.display = display;
}

/******************************************/
// FRAMESET
/******************************************/

if (top == self) {
    top.location = "index.html" ;
}