HASH(0x7fedea670bd0)