Def int (12/39)

Def int