class MyCalendar extends Calendar
{
	function getCalendarLink($month, $year)
	{
 		// Redisplay the current page, but with some parameters 
 		// to set the new month and year 
		$s = getenv('SCRIPT_NAME'); 
		return "$s?month=$month&year=$year"; 
	}


        function getDateLink($day, $month, $year)
   	{

   	     global $file;
             
     	     $s = getenv('SCRIPT_NAME');
      	     if (file_exists($file))
      	{
       	     return "$s?day=$day&month=$month&year=$year";
        }
        else
        {
             return "";
        }
}