<!--
    function toggleMotd() {
    var motdBox; //IE needs the variable to be declared first before it is initialized.
    motdBox = document.getElementById('motdBox');
    if (motdBox.style.display == '')
	motdBox.style.display = 'none';
    else
	motdBox.style.display = '';
}
//-->