<!--
function flashitXX(){
if (!document.all)
return
if (myexample9.style.borderColor=="red")
myexample9.style.borderColor="black"
else
myexample9.style.borderColor="red"
}
setInterval("flashitXX()", 500)
//-->