speeded up Hash::fetch