// JavaScript Document
function tausche(bildobj) {
los = document.getElementById("los");
los.src=bildobj;
}