function copyrightinfo()
      {
	  alert("Warning: All the contents of this web site are protected by applicable copyright laws and international treaties. No permission is granted to copy, distribute, modify, post or FRAME any text, graphics, video, audio, software code, or user interface design or logos.  The third party marks appearing on this site are the property of their respective owners. Unauthorized reproduction or distributin of these contents, or any portion of them, may result in severe civil and criminal penalties, and will be prosecuted to the maximun extent possible under the laws.");
      }

      function toggleList(object)
      {
        var childList = object.parentNode.getElementsByTagName("ul")[0];
        childList.style.display = (childList.style.display == "block") ? "none" : "block";
        object.parentNode.className = (object.parentNode.className == "") ? "expanded" : "";
        return false;
      }

      function toggleList2(upper, lower)
      {
        var theUpper = document.getElementById(upper);
        var theLower = document.getElementById(lower);
        if (theLower.style.display == "block")
        {
          theUpper.className = "";
          theLower.style.display = "none";
        }
        else
        {
          theUpper.className = "expanded";
          theLower.style.display = "block";
        }
        return false;
      }

      function toggleDivision(id)
      {
        var object = document.getElementById(id);
        object.style.display = (object.style.display == "block") ? "none" : "block";
      }

      WeekDays   = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
      MonthNames = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul",
                             "Aug", "Sep", "Oct",  "Nov", "Dec");

      setInterval('displayDatetime()', 1000);

      function displayDatetime()
      {
        var CurrentTime = new Date();
        var DayOfWeek = WeekDays[CurrentTime.getDay()];
        var Month = MonthNames[CurrentTime.getMonth()];
        var Day = CurrentTime.getDate();
        var Year = CurrentTime.getFullYear();
        var Hours = CurrentTime.getHours();
        var Minutes = CurrentTime.getMinutes();
        var Seconds = CurrentTime.getSeconds();

        if (Hours < 10) Hours = "0" + Hours;
        if (Minutes < 10) Minutes = "0" + Minutes;
        if (Seconds < 10) Seconds = "0" + Seconds;

        document.getElementById('mydatetime').innerHTML = DayOfWeek + ", " + Month + " " + Day + " " + Year + " " + Hours + ":" + Minutes + ":" + Seconds;
      }