Looks like gettimeofday() isn't implemented.  (Let me know if you guys already know what's missing and these are just annoyances. :)

<?
	$timeofday = gettimeofday();
	
	while(list($key, $value) = each($timeofday))
	{
		print("$key = $value<BR>\n");
	}

?>