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