Wiki Jurídica

Execução Fiscal — Dívida Ativa (Execução Fiscal) — TRF3 12044032819964036112

Classe: Execução FiscalÓrgão: 01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTOGrau: G1Data de ajuizamento: 1996-10-14

Proveniência: CNJ/DataJud — metadados processuais públicos. SHA-256 da fonte preservada: e016d8e1ebe2fb32ae95fe1fd0327aa3b4644b0d2db1068b52a773abddc091fb

Registro público original completo (JSON)

Contexto jurídico e comentários autorais

Tema 1229 do STJ: Dívida Ativa (Execução Fiscal)

Tema documentado no texto da fonte

Ao julgar o Tema 1229, o STJ fixou a seguinte tese: “À luz do princípio da causalidade, não cabe fixação de honorários advocatícios quando a exceção de pré-executividade é acolhida para extinguir a execução fiscal em razão do reconhecimento da prescrição intercorrente, prevista no art. 40 da Lei n. 6.830/1980.” A transcrição é literal.

Trecho de Tema 1229 do STJ: Dívida Ativa (Execução Fiscal) · A tese firmada pelo Superior Tribunal de Justiça · Rafael Toledo.

Âncoras do vínculo: ativa, divida, execucao, fiscal.

Fontes e integridade deste vínculo
  • HTML autoral publicado: 1f3172d930c9bf320f804b75087eff4c6287d2623dc02dae0f83b5dea0a018cc
  • Registro documental: e016d8e1ebe2fb32ae95fe1fd0327aa3b4644b0d2db1068b52a773abddc091fb
  • Campo documental: /resposta/corpo/assuntos

Ler comentário completo · Documentos ligados a esta página

Execução fiscal: como o fisco cobra dívida na justiça

Tema documentado no texto da fonte

Receber uma citação judicial informando que a Fazenda Pública move uma execução fiscal contra o próprio nome costuma assustar quem nunca tinha ouvido falar dessa ação — mas ela só existe porque, antes, houve inscrição em dívida ativa não paga nem contestada a tempo, e agora o processo passa a correr sob rito próprio, mais rápido que o de uma cobrança comum.

Trecho de Execução fiscal: como o fisco cobra dívida na justiça · Abertura · Rafael Toledo.

Âncoras do vínculo: execucao, fiscal.

Fontes e integridade deste vínculo
  • HTML autoral publicado: 04b679aeea83e3534f90f93bfc20846ac8c471f3905558024763ed828fd60cab
  • Registro documental: e016d8e1ebe2fb32ae95fe1fd0327aa3b4644b0d2db1068b52a773abddc091fb
  • Campo documental: /resposta/corpo/classe

Ler comentário completo · Documentos ligados a esta página

Tema 1103 do STJ: Contribuições previdenciárias

Tema documentado no texto da fonte

Ao julgar o Tema 1103, o STJ fixou a seguinte tese: “As contribuições previdenciárias não recolhidas no momento oportuno sofrerão o acréscimo de multa e de juros apenas quando o período a ser indenizado for posterior à edição da Medida Provisória n.º 1.523/1996 (convertida na Lei n.º 9.528/1997).” A transcrição é literal.

Trecho de Tema 1103 do STJ: Contribuições previdenciárias · A tese firmada pelo Superior Tribunal de Justiça · Rafael Toledo.

Âncoras do vínculo: contribuicoes, previdenciarias.

Fontes e integridade deste vínculo
  • HTML autoral publicado: 8b9bf2f9b82b92e110b28f2cbcab2fb3303225ab0378883b512b698c5d6ab22f
  • Registro documental: e016d8e1ebe2fb32ae95fe1fd0327aa3b4644b0d2db1068b52a773abddc091fb
  • Campo documental: /resposta/corpo/assuntos

Ler comentário completo · Documentos ligados a esta página

O que os atos públicos documentam

Seleção factual de 118 movimentações da fonte DataJud. Os campos citados abaixo têm apontadores para o registro original; esta seleção não substitui os atos integrais.

Assuntos registrados pela fonte

Sequência de atos identificados

  1. 1996-10-15 — Distribuição; sorteio (/resposta/corpo/movimentos/0/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/0
  2. 2013-04-22 — Petição; Petição (outras) (/resposta/corpo/movimentos/55/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/55
  3. 2013-04-24 — Conclusão; para despacho (/resposta/corpo/movimentos/56/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/56
  4. 2013-06-17 — Redistribuição; sorteio (/resposta/corpo/movimentos/57/complementosTabelados/0/nome); incompetência (/resposta/corpo/movimentos/57/complementosTabelados/1/nome) Fonte: /resposta/corpo/movimentos/57
  5. 2013-09-18 — Petição; Petição (outras) (/resposta/corpo/movimentos/58/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/58
  6. 2013-09-18 — Conclusão; para despacho (/resposta/corpo/movimentos/59/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/59
  7. 2014-05-06 — Conclusão; para despacho (/resposta/corpo/movimentos/60/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/60
  8. 2014-07-21 — Petição; Petição (outras) (/resposta/corpo/movimentos/61/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/61
  9. 2014-07-21 — Conclusão; para despacho (/resposta/corpo/movimentos/62/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/62
  10. 2015-05-13 — Conclusão; para despacho (/resposta/corpo/movimentos/63/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/63
  11. 2015-06-30 — Petição; Petição (outras) (/resposta/corpo/movimentos/64/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/64
  12. 2015-06-30 — Conclusão; para despacho (/resposta/corpo/movimentos/65/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/65
  13. 2015-07-01 — Conclusão; para despacho (/resposta/corpo/movimentos/66/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/66
  14. 2022-02-18 — Redistribuição; extensão de unidade judiciária (/resposta/corpo/movimentos/67/complementosTabelados/0/nome); sorteio (/resposta/corpo/movimentos/67/complementosTabelados/1/nome) Fonte: /resposta/corpo/movimentos/67
  15. 2024-06-12 — Conclusão; para julgamento (/resposta/corpo/movimentos/68/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/68
  16. 2024-08-06 — Conclusão; para despacho (/resposta/corpo/movimentos/69/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/69
  17. 2025-04-23 — Expedição de documento; Ofício (/resposta/corpo/movimentos/70/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/70
  18. 2025-05-09 — Baixa Definitiva Fonte: /resposta/corpo/movimentos/117

Este dossiê organiza campos públicos do DataJud; nomes de movimentos e complementos não substituem peças, decisões ou seus fundamentos. Nenhum resultado foi inferido.

Qualificação temporal da fonte

Referência documental: @timestamp da fonte

Campo na fonte (JSON Pointer)
/resposta/corpo/@timestamp
Valor literal da fonte
2025-08-09T21:29:20.789000Z
Formato
data e hora ISO 8601
Data normalizada, derivada do literal
2025-08-09
Calendário
válido no calendário gregoriano
Leitura do valor
formato e componentes reconhecidos
Fuso
informado (Z)

Ajuizamento informado pela fonte

Campo na fonte (JSON Pointer)
/resposta/corpo/dataAjuizamento
Valor literal da fonte
19961014000000
Formato
compacto de 14 dígitos
Data normalizada, derivada do literal
1996-10-14
Calendário
válido no calendário gregoriano
Leitura do valor
formato e componentes reconhecidos
Fuso
não informado
Relação com a referência
data civil escrita anterior à referência documental
Base da comparação
Comparação das datas civis escritas, sem atribuir ou converter fuso. Não estabelece ordem entre instantes nem dentro do mesmo dia.

SHA-256 da fonte preservada: e016d8e1ebe2fb32ae95fe1fd0327aa3b4644b0d2db1068b52a773abddc091fb

Formato, calendário e relação temporal descrevem os valores da fonte; não atestam a ocorrência nem a validade jurídica do ajuizamento. O ano informado permanece preservado.

Quadro do processo segundo o CNJ/DataJud

Registro de 118 movimentações na fonte pública, sem inferência do resultado da causa.

Período de atos com datas cronologicamente válidas: 1996-10-15 a 2025-05-09.

Marcos processuais recentes registrados pela fonte

2025-05-09
Baixa Definitiva (TPU 22)
2025-05-09
Cumprimento de Levantamento da Suspensão (TPU 12066)
2025-04-23
Expedição de documento (TPU 60)
2024-08-13
Mero expediente (TPU 11010)
2024-08-06
Ato ordinatório (TPU 11383)
2024-08-06
Conclusão (TPU 51)
2024-06-25
Mero expediente (TPU 11010)
2024-06-20
Cancelamento de Dívida Ativa (TPU 12298)
2024-06-20
Cumprimento de Levantamento da Suspensão (TPU 12066)
2024-06-12
Conclusão (TPU 51)
2024-06-05
Levantamento da Suspensão ou Dessobrestamento (TPU 12068)
2024-06-05
Cumprimento de Levantamento da Suspensão (TPU 12066)

DataJud fornece classes, assuntos, órgãos e movimentações, não o inteiro teor decisório, a fundamentação ou o resultado final. O status de recurso, sentença ou êxito não foi inferido.

Assuntos

Dívida Ativa (Execução Fiscal) | Contribuições Previdenciárias

Movimentações públicas — parte 1 de 3

Atos 1–40 de 118. A sequência integral está disponível nas partes numeradas e no registro JSON original conferido por SHA-256.

  1. 1996-10-15T16:59:00.000Z — Distribuição (TPU 26)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 2,
      "descricao": "tipo_de_distribuicao_redistribuicao",
      "nome": "sorteio",
      "valor": 2
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  2. 1996-10-18T13:10:40.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  3. 1996-11-04T18:42:26.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  4. 1996-12-13T13:05:55.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  5. 1997-05-12T12:56:09.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  6. 1997-06-20T14:33:17.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  7. 1997-09-24T12:52:41.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  8. 1997-11-04T14:52:37.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ],
  "orgaoJulgador": {
    "codigo": "12494",
    "nome": "01ª VARA FEDERAL DE PRESIDENTE PRUDENTE COM JUIZADO ESPECIAL FEDERAL CRIMINAL ADJUNTO"
  }
}
  9. 1999-04-26T17:36:00.000Z — Redistribuição (TPU 36)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 2,
      "descricao": "tipo_de_distribuicao_redistribuicao",
      "nome": "sorteio",
      "valor": 2
    },
    {
      "codigo": 17,
      "descricao": "motivo_da_redistribuicao",
      "nome": "incompetência",
      "valor": 83
    }
  ]
}
  10. 1999-09-02T16:55:16.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  11. 1999-09-28T15:12:17.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  12. 2000-04-11T14:19:00.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  13. 2000-05-25T13:08:27.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  14. 2001-05-22T15:52:46.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  15. 2001-08-23T11:18:05.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  16. 2001-11-30T15:53:33.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  17. 2002-04-30T11:29:05.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  18. 2002-07-02T16:46:12.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  19. 2002-07-31T14:05:32.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  20. 2002-11-11T14:49:35.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  21. 2003-04-24T15:52:17.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  22. 2003-10-14T12:05:43.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  23. 2004-06-30T14:53:27.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  24. 2004-09-03T18:35:40.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ]
}
  25. 2005-06-22T17:20:37.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  26. 2005-07-11T18:15:18.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ]
}
  27. 2005-11-17T15:24:35.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  28. 2006-04-24T18:38:53.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  29. 2006-06-05T18:06:35.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  30. 2006-06-21T15:42:15.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 19,
      "descricao": "tipo_de_peticao",
      "nome": "Petição (outras)",
      "valor": 57
    }
  ]
}
  31. 2006-06-27T10:07:43.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  32. 2007-05-21T16:49:05.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  33. 2007-10-17T14:41:14.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 19,
      "descricao": "tipo_de_peticao",
      "nome": "Petição (outras)",
      "valor": 57
    }
  ]
}
  34. 2008-03-28T14:03:28.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  35. 2008-05-26T10:28:10.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 19,
      "descricao": "tipo_de_peticao",
      "nome": "Petição (outras)",
      "valor": 57
    }
  ]
}
  36. 2008-05-26T16:34:06.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  37. 2008-06-10T17:48:41.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  38. 2008-06-11T17:16:17.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 19,
      "descricao": "tipo_de_peticao",
      "nome": "Petição (outras)",
      "valor": 57
    }
  ]
}
  39. 2008-08-29T15:07:41.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para despacho",
      "valor": 5
    }
  ]
}
  40. 2008-12-02T17:55:17.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 19,
      "descricao": "tipo_de_peticao",
      "nome": "Petição (outras)",
      "valor": 57
    }
  ]
}

Casos reais relacionados: semelhanças e diferenças documentais

Relações por códigos oficiais TPU ou referências LexML coincidentes. Coincidências de campos não demonstram identidade da causa, do mérito ou do resultado e não são aconselhamento jurídico. Classes, tribunais e órgãos distintos são diferenças observáveis.