function jump(menu)
{
ref=menu.choice.options[menu.choice.selectedIndex].value;

window.open(ref,'_parent','');
}
