Miscellany

			/* Utility function for search, if event keypress is enter - redirect */

			checkEnter = function(event, href)
			{
				if (event.keyCode == Event.KEY_ENTER) 
				{ 
					window.location= href;
				}
			}