trois + 13 =