function randomNumber(limit){
  return Math.floor(Math.random()*limit);
}
/*
Wordt nu niet gebruikt, uitgeschakeld want innerHTML geeft foutmelding
omdat id toonlogo niet meer gevonden wordt (neem ik aan)
// definieer aantal plaatjes, plaatjes en linken
var bannerArray = new Array();
Aantalplaatjes=4;
bannerArray[1] = "<IMG SRC=\"../logoos/logo_1.jpg\" border=\"0\" width=\"150\" height=\"130\">";
bannerArray[2] = "<A HREF=\"http://www.schimmelnet.nl/\" TARGET=\"_blank\"><IMG SRC=\"../logoos/logo_2.jpg\" border=\"0\" width=\"150\" height=\"130\"></A>";
bannerArray[3] = "<A HREF=\"http://www.coolenvankuik.nl/\" TARGET=\"_blank\"><IMG SRC=\"../logoos/logo_3.jpg\" border=\"0\" width=\"150\" height=\"130\"></A>";
bannerArray[4] = "<A HREF=\"http://www.woutersmodelbouw.nl/\" TARGET=\"_blank\"><IMG SRC=\"../logoos/logo_4.jpg\" border=\"0\" width=\"150\" height=\"130\"></A>";
vorigeTeller = 0;

function bannerRotate() {
Teller=1 + randomNumber(Aantalplaatjes);
if (Teller == vorigeTeller) Teller=1 + randomNumber(Aantalplaatjes); // Enige bescherming tegen 2x hetzelfde logo
if (Teller == vorigeTeller) Teller=1 + randomNumber(Aantalplaatjes);
vorigeTeller = Teller;
// Plaatje en link tonen
var divSelecteren = document.getElementById("toonlogo");
divSelecteren.innerHTML = bannerArray[Teller];

bannerroteren=setTimeout("bannerRotate()", 3000);

}
*/