var scroll = true         // true=meescrollen, false=niet meescrollen
var vanaf_links = 8      // plaatsing menu vanaf linkerkant
var vanaf_boven = 12     // plaatsing menu vanaf bovenkant
var stap = 5              // scrollsnelheid van het menu

function menu(id)
{
vscrmenu = document.getElementById(id)
vscrmenu.style.height = vscrmenu.offsetHeight +10;
if(scroll)
{
vscrmenu.style.position = "absolute";
vscrmenu.style.width = vscrmenu.offsetWidth + 10;
vscrmenu.style.top = vanaf_boven;
vscrmenu.style.left = vanaf_links;
}
vscrmenu.style.visibility="visible";
}
var timer = null;

var ie4=document.all?1:0
var ns6=document.getElementById&&!document.all?1:0

function scrollen() {
id = "start";
if (ie4) {wtop = document.body.scrollTop+vanaf_boven}
else if (ns6) {wtop = window.pageYOffset+vanaf_boven}
ntop = parseInt(document.getElementById(id).style.top)
if((ntop > (wtop)) && (ntop >(wtop + stap))){
document.getElementById(id).style.top = wtop
timer = setTimeout("scrollen()",0);
}
else
{
if((ntop < (wtop)) && (ntop < (wtop+ stap))){
document.getElementById(id).style.top =  ntop + stap;
timer = setTimeout('scrollen()',0);
}
else {clearTimeout(timer);timer=''}}
}
if (scroll)
{
if (document.all) window.onscroll = scrollen
else setInterval ('scrollen()', 100);}