strtok non la conosco
cmq questo è sicuramente sbagliato

$nomefile = strtok($_get , ",");

metti
$nomefile = strtok($_GET['cod'] , ",");