////////////////////////////////////////////////////////
// if prototype.js is not enabled, use this instead
////////////////////////////////////////////////////////
function $(element)
{
  // return the document element by id
  return document.getElementById(element);
}


