A SMS de renovação automática do Cartão do Cidadão vem de um número "normal"? Não devia vir identificado? Qualquer coisa mais oficial, tipo "MAI" ou assim, em vez de um 915*?