// JavaScript Document
function imgrollover(filename,state,extension)
{
	if(state == 1)
	{
		eval('document.getElementById("'+filename+'").src = "'+filename+'_over.'+extension+'"');
	}
	else{
		eval('document.getElementById("'+filename+'").src = "'+filename+'_off.'+extension+'"');
	}
}