function togglemark(src) {
	var frame = document.getElementById("execute");
	frame.src = src.href
	src.className = src.className == "marked" ? "action" : "marked";
	src.innerHTML = src.className == "marked" ? "Gemerkt" : "Merken";
	return false;
}



function get_form(formname) {
	if( formname == undefined)
		return document.forms[0];
	
	return document.forms[formname];
}

function mark_all(formname) {
	var form = get_form(formname);
	
	for(var i = 0; i < form.elements.length; i++) {
		var element = form.elements[i];
		if( element.type == "checkbox")
			element.checked = true;
	}
}

function mark_none(formname) {
	var form = get_form(formname);
	
	for(var i = 0; i < form.elements.length; i++) {
		var element = form.elements[i];
		if( element.type == "checkbox")
			element.checked = false;
	}
}

function onClickSubmit(element) {
	var form = element.form;
	alert(form.name);
}