vorrei farlo e ci avevo pensato ma non conosco bene il php come invece conosco JS e qualche comando della shell. Tu sapresti darmi qualche indicazione? il file da cui devo estrarre il valore � di questo genere: ....caratteri...... t = 23000 .....altri caratteri