13 + 15 + 12 + 13 = ?