function setVals() {
	sel = document.myform.sel;
	for (i=0; i<sel.options.length; i++) {
		if (sel.options[i].text == str) {
			sel.selectedIndex = i;
		}
	}
}

function menuChanged(dropdown){
  top.location.href = dropdown;
}

function deletechecked()
{
	var answer = confirm("Wirklich l" + unescape("%F6") + "schen?")
    if (answer){
        document.messages.submit();
    }
    return false;  
}