var tipstricks = {
  init: function()
  {
    if (!document.getElementById ||
        !document.getElementById("form-tipstricks") ||
        !document.getElementById("page")) { return false; }

    document.getElementById("form-tipstricks").onsubmit = function () {
      return tipstricks.check();
    }
  },
  check: function()
  {
    if (document.getElementById("page").selectedIndex == 0)
    {
      return false;
    }
  }
}

addLoadListener(tipstricks.init);