"; echo session_id(); echo "

"; echo session_name(); ?>