/*

		 * Don't let the user accidentally submit the form by

		 * pressing <ENTER>. Instead, select the first

		 * autocomplete result if possible.

		 */

		class_elem.bind('keyup keydown', function(e)

				  {

				      /* <ENTER> is 13 */

				      if (e.which == 13)

					  {

					      /*

					       * The user has pressed enter before selecting an autocomplete entry, which means the

					       * form will be submitted without his expecting it to be. We yet need code

					       * to figure out what the first autocomplete result is :-/.

					       */

					      return false;

					  }

				      return true;

				  });