7*log2(13)