$file = str_ireplace("PDF", "ALTO",str_ireplace(".pdf", ".xml", $_REQUEST['file']));
$file_headers = @get_headers($file);
$exists = false;
if(!$file_headers || $file_headers[0] == 'HTTP/1.1 404 Not Found') {
$exists = false;
}
else {
$exists = true;
}
?>
if ($exists){ ?>
} ?>
if ($exists){ ?>
} ?>