function reverseString(txt)
{
  var ret='';
  for (i = txt.length-1; i >= 0; i--)
    ret = ret+txt.substr(i,1);
  return ret;
}
function decrypt(txt)
{
  document.write(reverseString(txt));
  return false;
}
function decryptmail(txt)
{
  newtxt=reverseString(txt);
  newtxt=newtxt.replace("_at_", "@");
  newtxt="<a href=\"mailto:" + newtxt + "\">" + newtxt + "</a>";
  document.write(newtxt);
  return false;
}
function jumpto(where)
{
  document.getElementById('module').value = where;
  document.getElementById('menu').submit();
  return false;
}
function openUrl(where)
{
  window.open(where, '_blank');
  return false;
}