function searchString()
	{
		var oSearch = document.getElementById("txtSearch");
		window.location.href = "SearchResults.asp?search="+oSearch.value;
	}
function CheckKeyPressed(x)
	{
	e=window.event 
	if (e.keyCode==13)
		searchString(x)
	}
function scrollDown()
	{
		var oMarquee = document.getElementById("newsMarquee");
		oMarquee.direction = "down";
	}
function scrollUp()
	{
		var oMarquee = document.getElementById("newsMarquee");
		oMarquee.direction = "up";
	}