HASH(0x7fedc8592e90)