sacar un numero de una cadena y operar

[3nr1c]

Parece que el código es bastante limpio, supiste solucionarlo muy bien. Sólo que tendrías que cambiar esta línea:

Código PHP:

$cadena = fgets($fp,9999);
 

por esta otra:

Código PHP:

$cadena = file_get_contents($fp);
 

por si el archivo tiene una longitud variable