HASH(0x7fedb2d44f68)