session_start(); session_name("proceso"); $_SESSION["login"]=valor_login; $_SESSION["codigo"]=valor_codigo;