20 - 13 = ?