var ie=document.all
  var ieNOTopera=document.all&&navigator.userAgent.indexOf("Opera")==-1
  var form_submitted = false;
  
  function pload(parameters)
  {
    document.location.href = '/index.php'+parameters;
  }

  function isInteger(value)
  {
    return (parseInt(value) == value);
  }

  function nvl(tmp_value1,tmp_value2)
  {
    if(isInteger(tmp_value1) & tmp_value1!="NaN")
    {
      return tmp_value1;
    }
    else
    {
      return tmp_value2;
    }
  }

  function setparksubmit(parknummer)
  {
    document.bookingform.resort.value = parknummer;
    document.bookingform.val.value = 0;
    submitform('selection');
  }
  
  function submitform_novalidate()
  {
    document.bookingform.val.value = 0;
    submitform('selection');
  }

  function submitbookingform()
  {
    var dsocleft=ie? document.body.scrollLeft : pageXOffset;
    var dsoctop=ie? document.body.scrollTop : pageYOffset;
    var window_width=ieNOTopera? document.body.clientWidth : window.innerWidth-20;
    var window_height=ieNOTopera? document.body.clientHeight : window.innerHeight;
    if (ie||document.getElementById)
    {
      document.getElementById('geduld').style.left=(parseInt(dsocleft)+window_width/2-document.getElementById('geduld').offsetWidth/2)+"px";
      document.getElementById('geduld').style.top=(parseInt(dsoctop)+parseInt(window_height)-400)+"px";
    }
    else if (document.layers)
    {
      document.layers.geduld.left=dsocleft+window_width/2-document.layers.geduld.document.width/2+"px";
      document.layers.geduld.top=dsoctop+window_height-document.layers.geduld.document.height-5+"px";
      document.layers.geduld.visibility = 'visible';
    }

    if (document.getElementById) // DOM3 = IE5, NS6M
    {
       
       document.getElementById('geduld').style.visibility = 'visible';
       //alert(document.getElementById('geduld')style.visibility);
       document.bookingform.val.value = 1;
       submitform('');
    }
  }