function jump() {
	window.location.hash="aorder";
}

function jumpSet(artikelID){
	document.getElementById(artikelID).selected = true;
	window.location.hash="aorder";
}

function checkThisToo(target) {
	document.getElementById(target).checked=true;
}

function checkThisTooIfOtherNotChecked(target, other) {
	if (!document.getElementById(other).checked)
	document.getElementById(target).checked=true;
}