alert("Es ist ein Fehler in 'jumpmenu.js' aufgetreten. Bitte Wenden Sie sich an den Server-Administrator.");