Symbol lookup for: "HAFNIAO"