HASH(0x7fa9e55b46d0)