$_SESSION['counter'] not set. I've set it now, refresh to see the new value