function proxyclick( e ) {
	var p=e.parentElement==undefined ? e.parentNode : e.parentElement;
	if(e.tagName=="TD")
		var tag=p.firstChild.firstChild;
	else if(e.tagName=="FONT")
		var tag=document.all[e.sourceIndex-1];
	tag.focus();
	if(tag.type=='checkbox'){
          tag.checked=!tag.checked;
          tag.click();
        }
        else {
	  tag.checked=!tag.checked;
          tag.__chk=!tag.checked;
        }
	return true;
}

var setIntervalId = window.setInterval( "{document.forms[0].submitbutton.name='DsRefresh.x';document.forms[0].submit();}", 1700000 );

/*********************************************\
 Script for making radio buttons uncheckable
 To use: Add a call to UpdateInputs() at the end
 of the body content.
\*********************************************/

function toggleRadio() {
  var rObj=this;
  if (!rObj) return false;
  rObj.__chk = rObj.__chk ? rObj.checked = !rObj.__chk : rObj.checked;
  if(rObj.__chk) {
    var list=document.getElementsByName(rObj.name);
    for(var i=0; i<list.length; i++)
      if(list[i].value!=rObj.value)
        list[i].__chk=false;
  }
  return true;
}
function initRadio() {
  var rObj=this;
  if (!rObj) return false;
  rObj.__chk = rObj.checked; 
  return true;
}

function UpdateInputs() {
  var els = document.getElementsByTagName('input');
  for (var i=0;i<els.length;i++ ) {
    if (els[i].getAttribute('type') == "radio" ) {
      els[i].onmouseover=initRadio;
      els[i].onclick=toggleRadio;
    }
  }
}
function SP(evt) {
   if(window.event)
      window.event.cancelBubble=true;
   else
      evt.stopPropagation();
}