1--TEST--
2strtotime() - Format: @timestamps
3--FILE--
4<?php
5date_default_timezone_set("GMT");
6
7$i = 5;
8$max = getrandmax();
9$max_2 = $max / 2;
10
11while($i--) {
12	$new_tm = rand(1, $max);
13	if ($new_tm > $max_2)
14		$new_tm *= -1;
15
16	if (strtotime("@$new_tm") != $new_tm) {
17		echo "Error when parsing: @$new_tm\n";
18	}
19}
20
21echo "done!";
22?>
23--EXPECT--
24done!
25