<?php
// Usage: ./what_year.php Tue 31st
//    or  ./what_year.php Tue 31st Dec 
$goal = implode(" ", array_slice($argv, 1, sizeof($argv)));
$pattern = "D jS";
if(sizeof($argv)>3)
	$pattern = "D jS M";
echo "Goal is $goal, pattern is $pattern\n";
for($i=1960; $i<=2025; $i++) {
	$start_date = date("Y-m-d", strtotime("$i-01-01"));
	for($day=0;$day<=365;$day++) {
		$formatted_date = date($pattern, strtotime($start_date." +$day days"));
		if($formatted_date == $goal) {
			echo $goal ." occurs in ".date("M Y", strtotime($start_date." +$day days"))."\n";
		}
	}
}
?>