fn hash(a: u64) -> H160