HASH(0x7fee30b9f580)