HASH(0x7c4dced95ea8)