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