Per stampare il tuo menu su una pagina php puoi usare:
Codice PHP:
<?
echo "codice del menu flash";
?>
Ma non ho capito bene se è quello che volevi sapere tu...
Posta un link d'esempio casomai.