// Returns Item property Holy Avenger.
itemproperty ItemPropertyHolyAvenger();