HASH(0x7c4dc48e91d0)