lb(10000)^(7/2)