BitHl^i + l^tf) 



