function category_jump(menu)
{
	loc=menu.category.options[menu.category.selectedIndex].value;
	window.location=loc;
  	target="_self";
}