Symbol: HASH_IPDA