Receber tipo de arquivo. (.zip .jpg etc..)

OI Pessoal!

Estou com um problema, eu quero saber qual a funcação do $_FILES, eu uso para resgatar somente o tipo do arquivo, .zip .jpg etc.. Para que eu possa gerar um novo nome de arquivo, para não ouver problemas em relação quando ao nome. Eu quero gerar o nomes dos arquivos.

Fiz o seguinte:

$arquivo_type = $_FILES["arquivo"]["type"];

E depois criava o nome do arquivos:

$arquivo = $id.".".$arquivo_type;

E entao fazia o upload, mas, quando eu testava aparecia que o nome do arquivo estava assim:

31.imagem/gif

Como eu faria, para ficar: 31.gif ??

Obrigado!

Evandro.S Eisinger