Renomear imagem no upload

Boa tarde galera,

Eu tenho o seguinte código para fazer upload de imagem para uma determinada pasta no servidor.

$nome_temporario=$_FILES["arquivo"]["tmp_name"];
$nome_real=$_FILES["arquivo"]["name"];
copy($nome_temporario,"arq_mf_eletronico/$nome_real");

	Ele está funcionando normalmente, faz o upload e guarda o caminho da imagem no banco de dados ou seja arq_mf_eletronico/nome da imagem, porém eu precisava que ele também mudasse o nome da imagem, para que não se repita o nome do arquivo na pasta do servidor.

	A pergunta  é: como eu faria isso?

	 

	Ainda não tenho muito conhecimento.

	Conto com a ajuda de vocês.

	 

	Abraço.