<?php
function time2ms($tijd)
{
	$dp = strpos($tijd, ":");
	$min_m = substr($tijd, 0, $dp);
	
	$p = strpos($tijd, ".");
	$min_s = substr($tijd, $dp + 1, $p - $dp - 1);
	
	$len = strlen($tijd);
	$min_ms = substr($tijd, $p + 1, $len - $p - 1);

	switch(strlen($min_s))
	{
		case 0:
			$min_s .= 00;
			break;
		case 1:
			$min_s .= 0;
			break;
	}
	
	switch(strlen($min_ms))
	{
		case 0:
			$min_ms = 000;
			break;
		case 1:
			$min_ms .= 00;
			break;
		case 2:
			$min_ms .= 0;
			break;
	}

	return $min_m * 60000 + $min_s * 1000 + $min_ms;
}

function ms2time($ms)
{
	$min = floor($ms / 60000);
	$ms -= $min * 60000;
	$sec = floor($ms / 1000);
	$ms -= $sec * 1000;
	
	switch(strlen($sec))
	{
		case 0:
			$sec = 00;
			break;
		case 1:
			$sec = "0".$sec;
			break;
	}
	
	switch(strlen($ms))
	{
		case 0:
			$ms = 000;
			break;
		case 1:
			$ms = "00".$ms;
			break;
		case 2:
			$ms = "0".$ms;
			break;
	}

	return $min.":".$sec.".".$ms;
}

function randtijd($min = "0:00.000", $max = "59:00.000")
{
	return ms2time(rand(time2ms($min), time2ms($max)));
}
?>