Ok. (I haven't checked it out to eyeball it yet, just going by the code.)