HASH(0x7fee125ee840)