// change images on mouseover
function flipImage(id) //{{{
{
	 var img = document.getElementById(id);
	 var state = img.src.charAt(img.src.length-5) * 1;
	 var newstate = (state * -1) + 1;
	 
	 img.src = img.src.substring(0, img.src.length-5) + newstate + ".gif";
}
//}}}