HASH(0x7f7abd0da970)