DAs muss so sein

tgameralley ($pool,$_SESSION[$sessionname]);