HASH(0x7fedf264d520)