vale mirar el codigo fuente de la pagina...
Código PHP:
function log_out()
{
ht = document.getElementsByTagName("html");
ht[0].style.filter = "progid:DXImageTransform.Microsoft.BasicImage(grayscale=1)";
if (confirm('¿En verdad quieres finalizar tu sesión?\n\nsi es así, presiona OK si no,\nentonces presiona el botón CANCEL'))
{
return true;
}
else
{
ht[0].style.filter = "";
return false;
}
}