function searchFieldChanged(myfield,event,fileName)
	{
	var keycode;
	if (window.event)
	  keycode = window.event.keyCode;
	else if (event)
	  keycode = event.which;
	else
	  return true;

	if (keycode == 13)
		{
		location.href = fileName + '?searchString=' + 	document.getElementById("searchString").value;
		return false;
		}

	return true;
	}

