ok
Codice PHP:
$nome $_FILES['miofile']['name'];

$new_nome=basename($nome,'pdf').".doc"