Pattern calls for 4.25mm needles, but 4.0mm is listed above because 4.25mm is not an option on Ravelry. Use whatever size is necessary for gauge.