Yo probaría a cambiar cada cosa HTML por un echo:
Código PHP:
<?php
/*
* To change this template, choose Tools | Templates
* and open the template in the editor.
*/
function cabecera (){
echo '<a href=\"carro/principal.php\">volver</a><br>'
$raul = 123;
echo $raul;
}
?>
Salu2!