HASH(0x7fee1458ea30)