I just would ask you what's your interest about the name of those cards. Are you a seller? Are you buying cards for yur website and someone sold you static files under the name "GIF Cards"? Are you a webmaster who wants to name the objects in his website with its exact name? Or, the same in another way, what could happen if you take the wrong name?