<!--
function flashit11(){
if (!document.all)
return
if (myexample11.style.borderColor=="blue")
myexample11.style.borderColor="orange"
else
myexample11.style.borderColor="blue"
}
setInterval("flashit11()", 500)
//-->