function openlink(page)
{
	document.location.href= html_path + page;
}

function menu_over(menu)
{
	menu.style.backgroundPosition='bottom left';
}

function menu_out(menu)
{
	menu.style.backgroundPosition='top left';
}

function ChangeMenuImage(obj, numberElement)
{
	var images = new Array(html_res_path + "template/bg_button.png", html_res_path + "template/bg_buttonhighlighted.png");
	obj.getElementsByTagName("img")[0].src= images[numberElement];
}

function ChangeClass(obj, divName)
{
	obj.className = divName;
}