thirteen + 9 =