aspetta, $presidente è un array o un valore fisso?

Nel caso di valore fisso

Codice PHP:
print $presidente; 
ti scrive il nome del file giusto no?