function opendetails (file) {
	fenster = window.open(file, "Details", "width=800,height=650,status=no,scrollbars=no,resizable=no");
	fenster.focus();
}