type(type(div))
