var aankleur = "#e1ea79" // de kleur bij een mouse-over
var uitkleur = "#FFFFFF" // de standaard kleur
var nbr=23; function aan(m){
if(document.all){
m.filters.revealTrans.Transition=nbr
m.filters[0].Apply()
m.style.backgroundColor=aankleur
m.filters[0].Play() }}
function uit(m){
if(document.all){
m.filters.revealTrans.Transition=nbr
m.filters[0].Apply()
m.style.backgroundColor=uitkleur
m.filters[0].Play() }}