mini-hotcore (136.441)