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