Ho risolto cosi', ma non mi piace per niente. 
Se potete consigliarmi una maniera migliore, in Ajax con un file .php esterno, sarebbe meglio.
La soluzione adottata ora e'
Codice nel file .php 
	codice:
	....
echo '<script type="text/javascript">';
echo 'var arrayCodicePostale = new Array("', join($_SESSION['LISTAPROVINCIA'],'","'), '");';
echo '</script>';
...
$provincia->setAttrib('onchange', 'changeCodicePostale(this.value, arrayCodicePostale);');
 
e nel file .js
	codice:
	function changeCodicePostale(idProvincia, arrayCodicePostale)
{
 document.getElementById('codicepostale').value=arrayCodicePostale[idProvincia-1];
}
 
Grazie in anticipo