„ „ 7,15 fm.