/*==============================================================*/
/*======  Enthält Funktionen für das Öffnen von Fenstern  ======*/
/*==============================================================*/
/*========  gone  ==========*/
/*Öffnet ein Fenster*/
function gone()
{
newwindow=window.open("")
newwindow.location=
document.jumpy.example.options[document.jumpy.example.selectedIndex].value
}

/*========  popup  ==========*/
/*Öffnet ein Popup-Fenster mit in der Funktion definierten Grösse und Position*/
function popup()
{
newwindow=window.open("", "popup", "width=450, height=260, top=300, left=500")
newwindow.location=
document.jumpy.example.options[document.jumpy.example.selectedIndex].value
}

/*========  bigpopup  ==========*/
/*Öffnet ein Popup-Fenster mit in der Funktion definierten Grösse und Position*/
function bigpopup(mylink, windowname)
{
if (! window.focus)return true;
var href;
if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
window.open(href, windowname, 'scrollbars=yes height=600, width=800, top=300, left=200');
return false;
}