<!--

// Predefine all javascript functions that won't be loaded 
// until later.


// Predefine menu functions.
function showMenu(menu) {}
function hideMenu(menu) {}


// Predefine menu image state functions.
var topnavDown = "";
var snavDown   = "";

function imgOn(imgName) {}
function imgOff(imgName) {}
function imgDown(imgName, locale) {}

//-->