php generate random colors

A piece of PHP code to generate random colors, such as: FF00FF

function random_color(){
 mt_srand((double)microtime()*1000000);
 $c = '';
 while(strlen($c) <6){
 $c .= sprintf("%02X", mt_rand(0, 255));
 }
 return $c;
}

//Usage example:
random_color() => returns something like: '7C42BA', '5F3964'

php