HASH(0x7fedfe5ebe80)