I have 2 of the hooge fonts, but the other is hooge 05_53. And yes, the one I have installed that this theme uses came along with the theme.