HASH(0x7fee08f5ae50)