HASH(0x7fedda594a50)