// JavaScript Document
function mouseover(id)
{
document.getElementById(id).style.backgroundColor='#E4A672';
}
function mouseout(id)
{
document.getElementById(id).style.backgroundColor='';
} 
function wechsel(url,bildname) {
 window.document.images[bildname].src = url;
 }