Attila ismi Kur'an-ı Kerim'de geçiyor mu?

Kur'an-ı Kerim'de Attila ismi yer almaz; isim, İslami kutsal metinlerde bir referans bulmaz.