HASH(0x7f5ce44ff7f8)