HASH(0x7fee3257dd48)