Any of the 1N400x series should work . . . the device is running at 12v, which is in the range for a 1N4001, and other than the voltage, and too much isn't a problem, if, as others have noted, the current rating is the same, as is the case with this series.
- Tim