A number decreased by twelve​