/*	hasta la vista, frames	*/

if (window!= top)
top.location.href=location.href





/*		toggle visibility:		*/

function element(id) {
    return document.getElementById(id); }
    
function invert(id) {
    div = element(id);
    if (div.style.display == 'block') {
        div.style.display = 'none'; }
    else {
        div.style.display = 'block'; } 
}



function hide(id) {
    div = element(id);
    div.style.display = 'none'; 
}

function show(id) {
    div = element(id);
    div.style.display = 'block'; 
}