htdef