/// javascript!

function on(name) {
	document.images[name].src = "images/buttons/" + name + "_on.gif";
}
	
function off(name) {
	document.images[name].src = "images/buttons/" + name + "_off.gif";
}