I don't think it matters, since there's no default value.