// JavaScript Document to swap DIV background colours

function mouseover1() 
{ 
document.getElementById("topNavFirstButton").style.backgroundColor='#a1271c'; 
} 
function mouseout1() 
{ 
document.getElementById("topNavFirstButton").style.backgroundColor='';
}

function mouseover2() 
{ 
document.getElementById("topNavSecondButton").style.backgroundColor='#a1271c'; 
} 
function mouseout2() 
{ 
document.getElementById("topNavSecondButton").style.backgroundColor=''; 
}

function mouseover3() 
{ 
document.getElementById("topNavThirdButton").style.backgroundColor='#a1271c'; 
} 
function mouseout3() 
{ 
document.getElementById("topNavThirdButton").style.backgroundColor=''; 
}

function mouseover4() 
{ 
document.getElementById("topNavFourthButton").style.backgroundColor='#a1271c'; 
} 
function mouseout4() 
{ 
document.getElementById("topNavFourthButton").style.backgroundColor=''; 
}

function mouseover5() 
{ 
document.getElementById("topNavFifthButton").style.backgroundColor='#a1271c'; 
} 
function mouseout5() 
{ 
document.getElementById("topNavFifthButton").style.backgroundColor=''; 
}