<!--
function flashitX(){
if (!document.all)
return
if (myexample9a.style.borderColor=="fuchsia")
myexample9a.style.borderColor="yellow"
else
myexample9a.style.borderColor="fuchsia"
}
setInterval("flashitX()", 500)
//-->