["7","9","12","18","19"]