: * ctr ),