function PageHeader_JumpMenuChanged()
{
	var menu = this.GetElementByID("PH_JumpMenu");
	var url  = menu.options[menu.selectedIndex].value;
	
	if (url == -1) return;
	
	location.href = url;
}
function checktext()
{
	if(this.GetElementByID('Keyword').value == '')
	{
		if(this.GetElementByID('Keywords')) 
		{
			this.GetElementByID('Keyword').value = this.GetElementByID('Keywords').value;
		}	
	}
}