HASH(0x7fa9d05ed5b0)