public static int numFives (double[] a) {
    int result = 0;
    for (int i=0; 0<a.length; i++)
      if (a[i] == 5.0)
        result++;   
    return result;
  }