function menuhaut() {
with (a=window.document.getElementById('menu'));
if (a.style.visibility=='visible') {
a.style.height='18px';
window.setTimeout("a.style.height='15px'",20);
window.setTimeout("a.style.height='10px'",40);
window.setTimeout("a.style.height='5px'",60);
a.style.fontSize='0';
window.setTimeout("a.style.visibility='hidden'",80);
}
else {
a.style.visibility='visible';
a.style.height='5px';
window.setTimeout("a.style.height='10px'",20);
window.setTimeout("a.style.height='15px'",40);
window.setTimeout("a.style.height='18px'",60);
a.style.fontSize='12px';
}
}