HASH(0x7fee125fe670)