I am sure that was documented somewhere... certainly...