function mouseOver1()
{
document.getElementById("a1").src="images/bg/getting.gif"
}
function mouseOut1()
{
document.getElementById("a1").src="images/bg/get_started.jpg"
}



function mouseOver2()
{
document.getElementById("b1").src="images/bg/licensed.gif"
}
function mouseOut2()
{
document.getElementById("b1").src="images/bg/licensed_to_dive.jpg"
}