// JavaScript Document
 
function headerMouseOver()
{
	document.getElementById("headerImage").src = "../../images/vaannila1.gif";
}
function headerMouseOut()
{
	document.getElementById("headerImage").src = "../../images/vaannila2.gif";
}