hasf