static $day_name_ext, $day_name_con, $month_name_ext, $month_name_con;

	//Check if the timestamp is indeed in the valid format
	if ($format_type == AT_DATE_MYSQL_DATETIME && strlen($timestamp)==14){
		$format_type = AT_DATE_MYSQL_TIMESTAMP_14;
	}