Cupón generado correctamente"; echo "

El código generado es: $codigo_generado

"; } else { echo "

Error: no se encontró el código generado

"; } ?>