/* functie waarmee de style van een element in een pagina wordt gewijzigd */
/* afhankelijk van de meegegeven waarde van option. */
function changeElement(elementName, className, option){
   if (option == "over")
   {
      document.getElementById(elementName).className = className;
   } 
   else if (option == "out")
   {
      document.getElementById(elementName).className = className;
   } 
}