var randompic=new Array(
"../inhalte/einleitung/tier01.jpg",
"../inhalte/einleitung/tier02.jpg",
"../inhalte/einleitung/tier03.jpg"
)

function choosePic() {
    if (document.images) {
        randomNum = Math.floor((Math.random()*3))%3;
        if (document.myPicture)
            document.myPicture.src=randompic[randomNum];
    }
}