if ($val > $max) { $max = $val; }