HASH(0x7f5cac02b4d8)