<!--
var pageSubmitted = 0;
function submitPage(url){
  if(pageSubmitted==0){
    pageSubmitted = 1;
    document.forms[0].action=url;
    document.forms[0].submit();
  }
  return false;
}
-->