function mouseOver()
{
document.getElementById('vanish').src = "img/vanish.gif";
document.getElementById('vanish').style.opacity = "1";
document.getElementById('vanish').style.filters.alpha.opacity = "100";
}

function mouseOut()
{
document.getElementById('vanish').src = "img/vanishing.gif";
document.getElementById('vanish').style.opacity = "0.7";
document.getElementById('vanish').style.filters.alpha.opacity = "70";
}