in tal caso.. non so neppure io...

forse se ti crei un div:

Codice PHP:
<div id="serbatoio" style="display: none">
'<? echo $a?>'
</div>


<script>
function prova()
{
  var testo = document.getElementById('serbatoio').innerHTML;
  ...
}
</script>
Spero almeno di averti dato un'idea...

Altrimenti dovresti sostituire in $a tutti i ritorni a capo. Forse sarebbe più semplice ed elegante..
Ciao!