HASH(0x7fedd65d6368)