Da quando ho conosciuto le pagine php non posso più vedere quelle html,mi ricordano tutto il tempo buttato a cambiare il menu a ogni pagina anche per una piccola modifica...Addirittura per ovviare al problema mi ero costruito un js esterno con il document.write di tutto il menù !