/***
  /*    file    : functions.js
  /*    desc.   : JavaScript user functions global pool
  /*    author  : Marek Bokes <xbokes@mail.muni.cz>, <xbokes@fi.muni.cz>, <marek@gmail.com>
  /*    location: /include/
  /**/

function StatusMsg(msg)
{
  /* outputs specified message to the browser's window status bar */
  status = msg;
  return true;
}

function DummyStatusMsg()
{
 /* outputs empty browser window status bar */
  status = "";
  return true;
}

function go(url)
{
  /* redirects the page to speficied URL, effective immediately after call*/
  document.location.href=url;
}