function Bookmark() {

 var bookmarkUrl = "http://www.kreuzfahrtshop24.de";
 var bookmarkTitle = "Kreuzfahrten bei kreuzfahrtshop24.de";
 
 if(document.all){
 window.external.AddFavorite(bookmarkUrl,bookmarkTitle);
 }
 
 else {
 window.sidebar.addPanel(bookmarkTitle,bookmarkUrl,"");
 }
 
}

function shipselect() {

var sfile = document.nameselect.schiff.value;
var loc = "http://www.kreuzfahrtshop24.de/schiffe/"+sfile+".cfm"

if(document.nameselect.schiff.value != "") {
 document.nameselect.action = loc;
 document.nameselect.submit();
 }

}

function Gutschein() {
window.open('http://www.kreuzfahrtshop24.de/gutschein_info.cfm', 'Kreuzfahrtgutschein', 'width=460,height=550,scrollbars=no,locationbar=no,resizable=no,statusbar=no,status=no,toolbar=no');
}