// JavaScript Document

function HoverMenuDoc(mode,obj)
{
	if(mode == 1)
	{
		obj.className = "doc_menu_hover"
	}
	else if(mode == 0)
	{
		obj.className = "doc_menu"
	}
}

function HoverMenuBar(mode,obj)
{
	if(mode == 1)
	{
		cur = obj.className;
		obj.className = cur+"_h";
	}
	else if(mode == 0)
	{
		cur = obj.className;
		obj.className = cur.replace("_h","");
	}
}

function delete_confirmation(url)
{
	if(confirm("Are you sure to delete this item ? "))
			location = url;
}

function delete_dependency_confirmation(url)
{
	if(confirm("Are you sure to delete this item and other related data ? "))
			location = url;	
}