function activate_icon(id,url)
{
	document.getElementById("menu_icon_"+id).src = url+'/images/menu_icon_'+id+'_on.gif';
}
function deactivate_icon(id,url)
{
	if ( document.getElementById("list_item_"+id).className !='active')
		document.getElementById("menu_icon_"+id).src = url+'/images/menu_icon_'+id+'_off.gif';
}