Trocar nome no upload

Galera como eu faço para que quando um arquivo .pdf for enviado para o meu site eu consiga trocar o nome dele?$vararquivo_temp = $_FILES['txtarquivo']['tmp_name'];$vararquivo = $_FILES['txtarquivo']['name'];!copy($vararquivo_temp, "arquivo/".$vararquivo);Neste exemplo acima estou mantendo o nome original, mas gostaria de mudar este nome para um numero de protocolo que criei, porém ele perde a extensão.