$4.25, but close enough.