= $min; } }