Grazie per la risposta

Ho provato con

Codice PHP:
var supplementoadulti = document.getElementById("supplementoadulti");
                supplementoadulti.innerHTML = 25 * $supplemento_adulto * 2; 
invece di

Codice PHP:
document.getElementById('supplementoadulti').innerHTML = supplementoadulti = 25 * $supplemento_adulto * 2; 
se era quello che intendevi; in questo caso IE non ha comunque dato esiti positivi