mini-hotcore (194.757)