// 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) {
	var e = getElement(p+'link');
	if (e.className == 'selected') a = '_a';
	e.src = 'assets/images/menu/'+p+a+'.gif';
}