Merriam-Webster's Collegiate® Dictionary, 11th Edition HAST abbreviation Hawaii-Aleutian standard time