HASH(0x7f5d00a43fc0)