quelle righe le devi inserire tra i tag <? e ?>(all'inizio della pagina) e devi cambiare l'estensione della pagina da html (o htm) a php.

poi dove ci andrebbe il nome del file scivi:
<?= $caso.'.swf' ?>