session used in html pages