5214 [ $