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