Original: Babcock has a post office with ZIP code 54413 . .
Simplified: The ZIP code of Babcock is 54413 .