6,15 f.m. 7,15 » 9 40 » 10 20 .