// JavaScript Document
function onMouseOver() {
	var menu = document.getElementById('menu');
	var buttons = menu.childNodes;
	for(var i = 0; i < buttons.length; i++) {
		var button = buttons[i].firstChild;
		if(button != null) {
			if(button.title == 'selected') {
				var str = button.src;
				var src = str.replace(/_0.jpg/, ".jpg");
				button.src = src;
			} else {
				button.onmouseover = mouseover;
				button.onmouseout = mouseout;
			}
		}
	}
}
function mouseover() {
	var str = this.src;
	var src = str.replace(/_0.jpg/, ".jpg");
	this.src = src;
}

function mouseout() {
	var str = this.src;
	var src = str.replace(/.jpg/, "_0.jpg");
	this.src = src;
}