¿Qué debe hacerse si se pierde el original del permiso de conducir?