<?php
	date_default_timezone_set('Europe/Paris');
	$CurrentTime = date("d-m-Y H:i:s");
	list($ddd,$ttt) = explode(' ',$CurrentTime);
	echo "$ddd/$ttt\n";
?>