HASH(0x7fedec594500)