function showMenu(id) {
var element = document.getElementById(id);
if (element) { element.className = 'visible'; }
}
function hideMenu(id) {
var element = document.getElementById(id);
if (element) { element.className = ''; }
}
function homepageFlash() {
document.write('');
}
function campusmapFlash() {
document.write('');
}
function splashFlash () {
document.write('');
}
function crestFlash() {
document.write('');
}