HASH(0x7efecc514d30)