[Mman52]