Division of idris

Division of idris