// JavaScript Document

function box_hover(sub_id, owner, hovered)
{
	if(hovered == 1)
	{
		document.getElementById(sub_id).style.zIndex = 100;
		owner.style.zIndex = 110;
	}
	else
	{
		document.getElementById(sub_id).style.zIndex = 10;
		owner.style.zIndex = 70;
	}
}