// JavaScript Document

function buttonon(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/button' + buttonNr + 'b.gif';
}
function buttonoff(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/button' + buttonNr + '.gif';
}