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

function buttonon2(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '2.png';
}
function buttonoff2(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '.png';
}