function addArrival(_year,_month,_day){
	if (_month.length==1)
		_month="0"+_month;
	document.buchen.year.value=_year;
	document.buchen.month.value=_month;
	document.buchen.day.value=_day;
}

function changeCalender(f){
	var v = f[f.selectedIndex].value;
	document.location.href= "?location="+v;
}