7.5 7.15 7.16 7,407,58