  This paper analyzes full HOD of natural models of AD^+ under a certain
smallness assumption of the models. This assumption is made to utilize
Sargsyan's work on the theory of hod mice. We show that HOD is a
fine-structural model and in particular satisfies GCH.
