`[0][2]` can be replaced with just `02` -- although of course, not all ZIP codes start with 02.