abrev DIVISION DIV (#12)