Use the defaulted value