HASH(0x7fedee63c5e0)