In this paper, it is shown that the necessary condition for the existence of a holey perfect Mendelsohn design (HPMD) with block size 5, type and index , namely, and , is also sufficient for . The result guarantees the analogous existence result for group divisible designs (GDDs) of type having block size 5 and index .