// JavaScript Document
<!--
   function redirect(page)
   {
     window.location=page;
   }
   
  function MM_openBrWindow(theURL,winName,features) { //v2.0
    window.open(theURL,winName,features);
  }   
  function email2java(email, emailHost, contact)
  {
	if (!contact)
	{
		var contact = email + "@" + emailHost;
	}
    document.write("<a href=" + "mail" + "to:" + email + "@" + emailHost+ ">" + contact + "</a>")
  }
//-->