function swap(a,t) {
	var i = document.getElementById(a);
	i.style.display=t;
}
function do_submit(a) {
	var f = document.getElementById(a);
	f.kontroll.value = 'ok';
	f.submit();
}