HASH(0x7fb5efef7f40)