function jump(sel) {
  var type=sel.name;
  var order = sel.selectedIndex;
  if (sel.options[order].value != 0) {
    if (type=='lastminute') location = '/lastminute/lastminute-'+sel.options[order].value+'.php';
    else if (type=='reisetipp') location = '/reisetipp/'+sel.options[order].value+'.php';
  }
 }