function navi_a(name) {
	document.getElementById(name).src = 'bilder/navi/a-' + name + '.gif';
}

function navi_ia(name) {
	document.getElementById(name).src = 'bilder/navi/ia-' + name + '.gif';
}

function show_buy(element) {
	elements = $(element).getElementsByTagName('div');
	elements[2].style.display = 'inline';
}

function hide_buy(element) {
	elements = $(element).getElementsByTagName('div');
	elements[2].style.display = 'none';
}