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

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