function ajax_date()
{
	var today = new Date();
	
	return today.getMonth() + '' + today.getDay() + '' + today.getHours() + '' + today.getMinutes() + '' + today.getSeconds();
}


// Prototype Fix for Radio check
/**
* var value = $RF('radio_btn_id');
* var value = $RF('form_id', 'radio_grp_name');
* $(”someRadioGroupMember”).checked = true;
*
* Returns the value of the selected radio button in the radio group, null if
* none are selected, and false if the button group doesn't exist
*
* @param {radio Object} or {radio id} el
* OR
* @param {form Object} or {form id} el
* @param {radio group name} radioGroup
*/
function $RF(el, radioGroup) 
{
	if( $(el).type && $(el).type.toLowerCase() == 'radio' ) 
	{
		var radioGroup = $(el).name;
		var el = $(el).form;
	} else if ( $(el).tagName.toLowerCase() != 'form' ) {
		return false;
	}

	var checked = $(el).getInputs('radio', radioGroup).find( function(re) {return re.checked;} );
	
	return (checked) ? $F(checked) : null;
}