function hotpersonal() {
document.topnav.src = personal.src; return true;
}

function hotcorporate() {
document.topnav.src = corporate.src; return true;
}

function hotinvest() {
document.topnav.src = invest.src; return true;
}

function hotprivate() {
document.topnav.src = private.src; return true;
}

function hotinsure() {
document.topnav.src = insure.src; return true;
}

function original() {
document.topnav.src = alloff.src; return true;
}