function tauschen(obj,img) {

	if (document.images) {
	obj.src=img }}

function show_element(id) {
var table = window.document.getElementById(id);
table.style.display = ''; }

function hide_element(id) {
var table = window.document.getElementById(id);
table.style.display = 'none'; }