function doFind(text) {
  if(document.all){
    var target = document.body.createTextRange();
	if ( target.findText(text) )
		target.select();
  } else if(document.layers){
    window.find(text)
  }
	return true;
}

function doKeyDown(text) {
	var intKeyCode = event.keyCode;

	if ( intKeyCode == 13 )
	{
		doFind(text) ;
	}
	return true;
}