Any of these is fine with me.