// JavaScript para eliminar el borde al pasar el ratón por encima de un objeto flash en explorer
// debe llamarse a este archivo tras la última etiqueta <object> de la página

theObjects = document.getElementsByTagName("object");
for(var i=0; i<theObjects.length; i++)
{
	theObjects[i].outerHTML = theObjects[i].outerHTML;
}
