<script language=Javascript>

function searchSel() { 
  var input=document.getElementById('realtxt').value.toLowerCase(); 
  var output=document.getElementById('realitems').options; 
  for(var i=0;i<output.length;i++) { 
    if(output[i].value.indexOf(input)==0){ 
      output[i].selected=true; 
      } 
    if(document.forms[0].realtxt.value==''){ 
      output[0].selected=true; 
      } 
  } 


} 

function onDoubleClick()
{
  //alert(frmName);
  //forms[frmName].submit();
  //StartTheTimer();
  //self.setTimeout(
//  if(isClicked > 0 )
//  {
//    alert('doubleclick');
    document.forms[0].submit(); 
//    isClicked =0;
//  }else{
//    alert('first click');
//    isClicked ++;
//  }
}
//InitializeTimer();

// The maximum elapsed time between clicks (50==5µs): 
// more than that and we have two single clicks, otherwise it is a doubleclick
var max_elapsed = 50;	
var timerID = 0;		// Timer ID
var time_elapsed = 0;	// The time between two single clicks

function handle_click()
{
  alert('click');
	if(!time_elapsed) // First click
	{
		timerID = restart_timer();
		return;
	}
		
	if(time_elapsed > max_elapsed) // Too much time has elapsed, we have two single clicks
	{
		reset_timer();
		timerID = restart_timer();
		return;
	}
	
// We have a doubleclick
	reset_timer();
	time_elapsed = 0;
	handle_doubleclick(evt);		
}

function doubleclick_timer()
{
	if(time_elapsed < max_elapsed) 
	{
		time_elapsed++;
		restart_timer();
	} 
	else 
	{
		reset_timer();
	}
}

function reset_timer()
{
	clearTimeout(timerID);
	timerID = 0;
}

function restart_timer()
{
	return(setTimeout("doubleclick_timer()", 10));
}

// Fill-in the body to handle the double-click event
function handle_doubleclick(evt)
{

    document.forms[0].submit(); 

}
