function set_session($k,$v){
global $session_prefix;
if(is_NULL($v)||$v=='')
{
unset($_SESSION[$session_prefix.$k]);
}
else
{
$_SESSION[$session_prefix.$k] = $v;
}
}
function get_session($k){
global $session_prefix;
if(isset($_SESSION[$session_prefix.$k])) return $_SESSION[$session_prefix.$k];
return null;
}
function set_sess_admin($v)
{
set_session('admin_name',$v);
}
function get_sess_admin()
{
return get_session('admin_name');
}