$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){ ?>
				
			 } ?>