// Javascript routines common to all pages.


// -- Public routines --

// Function to be overridden by individual pages.
function pageOnLoad()
{
}


// -- Private routines --