HAT with a 17