ViewController User_ID to Username

function vc_format_user_id($table, $val, $row)
{
	global $vc_username;
	if(!is_array($vc_username)) $vc_username = array();
	if(!isset($vc_username[$val]))
	{
		$u = new User($val);
		$vc_username[$val] = $u->username;
	}
	return $vc_username[$val];
}