$4.01