Nazwa zmiennej Opcje

[kicaj]

Mam cos takiego:

[PHP] pobierz, plaintext 
<?php
if( isset( $_SESSION['name'] ) )
{
	// do something...
}
?>
[PHP] pobierz, plaintext 

Teraz chcialbym w `echo` napisac jak sie nazywa zmienna sesji. Jak to zrobic?
Podwojny dolar? Ale jakos mi nie wychodzi...