<?php

/**
 *
 *	caching
 *
 */
 
ini_set('default_charset',"iso-8859-1");
$cache_dir = "cache/";

$cache_id = $_GET['article_id']?basename($_GET['article_id']):1;
$cache_lang = $_GET['clang']?basename($_GET['clang']):0;
$cached_filename = $cache_dir.$cache_id."-".$cache_lang.".html";
$notfound =  $cache_dir."1-".$cache_lang.".html";

if(@file_exists($cached_filename)) {



		@readfile($cached_filename);
		echo "<!-- cached: ".date('H:i:s d.m.y',filectime($cached_filename))." //-->";
		exit();
	
} else {

		@readfile($notfound);
		echo "<!-- not found 404 //-->";
		exit();


}

?>