That doesn't really matter for the purposes of the comment you are replying to.