// Copyright © 2008 Vertigo Software, Inc. All rights reserved.

function onSearchKeyPressed(args)
{
	var event = window.event || args;
	var key = event.keyCode || event.which;

	if (key == 13)
	{
		search();
		return false;
	}
	
	return true;
}

function search()
{
	var searchStringElement = document.getElementById("searchString");
	var searchInputElement = document.getElementById("searchInput");
	searchStringElement.value = searchInputElement.value;
	searchStringElement.form.submit();
}