HASH(0x7f5d04ef1e50)