function shop_go(element) {
for(i=0;i<element.length;++i)
if(element.options[i].selected == true)
{
if (element.options[i].value != "")
{
self.location.href = element.options[i].value
}}}


function do_nothing() {
}


function popupFLEX(url,b,h){
  var pname, features,url ,b ,h;
  pname="ExternIMG";
  features = "scrollbars=1,location=0,toolbar=0,menubar=0,resizable=1,statusbar=yes";
  detailfenster = window.open(url,pname,"width="+b+",height="+h+","+features);
  detailfenster.focus()
  //detailfenster.moveTo(10,10)
}