<?php
	function format_date($date) 
	{
		list($year, $month, $day)=explode("-", $date);
		$date="$day-$month-$year";
		return $date;
	}

	function format_timestamp($date)
	{
		list($datee, $time)=explode(" ", $date);
		$datee=format_date($datee);
		$date="$datee &agrave; $time";
		return $date;
	}
?>