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

function korban() {
		var korb = document.getElementById ('korb');
		korb.src = 'images/korb2.jpg';
}
function korboff() {
		var korb = document.getElementById ('korb');
		korb.src = 'images/korb.jpg';
}