/* Deze js bevat functies voor .gif, .png en .jpg. */ /* Deze functie kijkt naar alle plaatjes die op 0 eindigen zoals: image0.gif en laad dan de 1 versie ervan in, bijv: image1.gif. Bij onload aanroepen dus: */ function preloadImages() { documentImages = document.getElementsByTagName('img'); imagesPreloaded = []; for (i=0;i