<?php session_start();

	echo $_SESSION['user_codigo'].' - '.$_SESSION['user_descri'];

// 	$_SESSION['cong_codigo']='';

	$_SESSION['user_codigo']='';
	$_SESSION['user_cedula']='';
	$_SESSION['user_email']='';	
	$_SESSION['user_descri']='';
	$_SESSION['user_tipo']='';
     $_SESSION['user_ptov']='';
	$_SESSION['user_empr']='';
	$_SESSION['user_option']='';

	$_SESSION['cong_codigo']='';
	$_SESSION['cong_descri']='';

?>