function Bildwechsel(Name,Bildobjekt,play) {
 window.document.images[Name].src = Bildobjekt;
 {if (play) { onplay ("player");}}
 }

function onplay( name ){
 document.embeds[name].play();
}