provato anche così ma il risultato non cambia...

<?php echo "ciao"; ?>