HASH(0x7fedc2640f58)