SVG entro file XHTML

Attenzione: il file deve avere estensione XHTML e non HTML ( né HTM ) per fare capire a Firefox o Safari o ad Opera che deve appunto considerarlo di tipo XHTML.
Per rendere dinamico il disegno non utilizzo attributi o funzioni Javascript tipiche di SVG ma uso le funzioni che posso normalmente usare in XHTML. Qui, come si vede, cambio continuamente il colore e il bordo di un cerchio. Per fare questo, avendo attribuito al tag <circle> che mi interessa l'attributo id="interno", catturo l'elemento con l'istruzione x=document.getElementById("interno") e modifico il suo attributo di style scrivendo x.setAttribute("style","fill:green;...") oppure x.setAttribute("style","fill:red;...") a seconda di come ho settato l'attributo di style la volta precedente. Insomma, faccio esattamente quello che farei per modificare l'attributo di un tag qualsiasi, individuato tramite il valore della sua id.