/* This is a dummy file since the real file doesn't exist. We have to do a dummy function call here too */

function portalInsertHeader()
{
  return 0;
}

function portalInsertFooter()
{
  return 0;
}