// JavaScript Document

function menuOver(imagem)
{
	var imagem_src = imagem.src;
	imagem_src = imagem_src.replace(".gif", "_over.gif") ;
	imagem.src = imagem_src;
}


function menuOut(imagem)
{
	var imagem_src = imagem.src;
	imagem_src = imagem_src.replace("_over.gif", ".gif") ;
	imagem.src = imagem_src;
}