HASH(0x7fee2cf56d28)