function menu(show) {
d = document;
h = new Array();
n = new Array();
h[0] = '';
h[1] = '';
h[2] = '';
h[3] = '';
h[4] = '
';
h[5] = '';
n[0] = ' Home
';
n[1] = ' Validatie
';
n[2] = ' Kalibratie
';
n[3] = ' Onderhoud
';
n[4] = ' aanbieding
';
n[5] = ' Contact
';
if (show == '') {
show = -1;
}
for (i = 0; i < 5; i++) {
if (i == show) {
d.write(n[i]);
} else {
d.write(h[i]);
}
}
}