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

$nomefile[1] contiene il nome del file