function s(e)
{
	window.location.hash=e.options[e.selectedIndex].name;
}

function jt(e)
{
	var t=e.selectedIndex;
	if (t>0)
	{
		t=e.options[t].value;
		window.location.hash=t;
	}
}