//* DEBUG: */ echo "-".$uid."/".$cnt."/".$old."-<br />";
$cnt = ADMIN_USER_PROFILE_LINK($uid, $cnt, "list_refs");
$old = ADMIN_USER_PROFILE_LINK($uid, $old, "list_refs");
//* DEBUG: */ echo "-".$uid."/".$cnt."/".$old."-<br />";
$cnt = ADMIN_USER_PROFILE_LINK($uid, $cnt, "list_refs");
$old = ADMIN_USER_PROFILE_LINK($uid, $old, "list_refs");