HASH(0x7f5cac19e3d8)