Récupérer l’identifiant de session id_session en javascript

Voici une petite bidouille pour récupérer en javascript  l’identifiant d’une session $_SESSION, accessible par la fonction id_session() en PHP.

<script>
  var masession=document.cookie.match(/PHPSESSID=[^;]+/)+" ";
  masession=masession.substring(10);
</script>

Note : on est obligé de rajouter le + » «  lors de l’initialisation de masession pour forcer le typage de la variable masession en string.