var ims = new Array();
(ims[1]=new Image).src="/i/home.gif";
(ims[2]=new Image).src="/i/mail.gif";
(ims[3]=new Image).src="/i/home0.gif";
(ims[4]=new Image).src="/i/mail0.gif";
function iin(s)  { document.images[s].src=ims[s].src }
function iout(s) { document.images[s].src=ims[s+2].src }
function opemail($user,$host,$style)
{
  $fullemail = $user + '@' + $host;
  $style='style="'+$style+'"';
  document.write('<a '+$style+' href=mailto:'+$fullemail+'>'+$fullemail+'</a>');
}
function aemail($user,$host)
{
  $fullemail = $user + '@' + $host;
  document.write('<a href=mailto:'+$fullemail+'>');
}
function ph(s)
{
  window.open("/hint.php?s="+s,"hint","left=200,top=50,width=550,height=450,scrollbars=yes,menubar=none,location=none");
  return false;
}