<!--

function On(imageName) {
	if (document.images) {
		document.images[imageName].src = '/images/menu/' + imageName + 'a.gif';
	}
}

function Out(imageName) {
	if (document.images) {
		document.images[imageName].src = '/images/menu/' + imageName + '.gif';
	}
}

// -->