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