// JavaScript Document

function M_over(element_id)
{
	v_menu = document.getElementById (element_id);
//	v_menu.style.visibility = 'visible';
	$(v_menu).set('tween', {duration: 10});
	$(v_menu).fade('in');
//	$(v_menu).fade('show');
}

function M_out(element_id)
{
	v_menu = document.getElementById (element_id);
//	v_menu.style.visibility = 'hidden';
	$(v_menu).fade('out');
//	$(v_menu).fade('hide');
}

