// JavaScript Document
<!--

function roll_over(div_id, state)
{
	document.getElementById(div_id).style.visibility=state;
}

//-->