// Wrapper function to ensure compatibility with older browsers
function getElement(name) {
	return document.getElementById?document.getElementById(name):document.all[name];
}

// Controls the menu images
function swapmenupics(p, a, dots) {
	var e = getElement(p+'link');
	if (e.className == 'selected') a = '-a';
	e.src = dots+'assets/images/menu/'+p+a+'.gif';
}

// Controls the submenu images
function swapsubmenupics(p, a) {
	var se = getElement(p+'link');
	if (se.className == 'selected') a = '-a';
	se.src = '../assets/images/submenu/'+p+a+'.gif';
}