Get Username from ID

[alexgeek]

Is there a function that will return the username of the userid passed to it?
something like:

$id = 1;
$user = get_username_from_id($id);
echo $user; //output "alexgeek"

[Opserty]

$id = 1;
$userinfo = fetch_userinfo($id);
echo $userinfo['username']; //output "alexgeek"

[alexgeek]

Cheers!