// JavaScript Document
// return the value of the radio button that is checked
// return an empty string if none are checked, or
// there are no radio buttons
function getCheckedValue(radioObj) {
	if(!radioObj)
		return "";
	var radioLength = radioObj.length;
	if(radioLength == undefined)
		if(radioObj.checked)
			return radioObj.value;
		else
			return "";
	for(var i = 0; i < radioLength; i++) {
		if(radioObj[i].checked) {
			return radioObj[i].value;
		}
	}
	return "";
}

function output_type(){
 return $('body').getProperty('output_type');
 }



function confirm_booking(booking_num){
	
	$('call_functions').action='confirm_booking.php?booking_num='+booking_num;
	
	$('call_functions').submit();

}
function delete_booking(booking_num){
	$('call_functions').action='delete_booking.php?booking_num='+booking_num;
	
	$('call_functions').submit();

}
function edit_booking(booking_num){
	$('call_functions').action='edit_booking_form.php?booking_num='+booking_num;
	
	$('call_functions').submit();

}