' / » 10 fm.