Hats^{23 385}