treize − 7 =