// Design

function setMenu (num, val, id)
{
	if (val) document.getElementById(id).src = 'include/images/menu'+num+'_act.gif';
	else document.getElementById(id).src = 'include/images/menu'+num+'.gif';
}

function gotoURL(url){
	if (!url) url = "/";
	if (window.event){
		var src = window.event.srcElement;
		if((src.tagName != 'A') && ((src.tagName != 'IMG') || (src.parentElement.tagName != 'A'))){
			if (window.event.shiftKey) window.open(url);
			else document.location = url;			
		}		
	} else  document.location = url;
}