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