Cerrar sesión

[.php]

Pero si vas a cerrar sesion con esto es suficiente

Código PHP:

  session_destroy();   
setcookie("usNick","x",time()-3600);   
setcookie("usPass","x",time()-3600);   
header("Location: index.html");  
   

o no te sirve?