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