HASH(0x7fee08017f08)