$DOC_ROOT = $_SERVER['DOCUMENT_ROOT'];
$file_name = "3r3.exe";
$file_dir = $DOC_ROOT."/download/";
$count_file_name = 'count.txt';
//counter file times
$counter = NULL;
$counter = file_get_contents($file_dir.$count_file_name);
file_put_contents($file_dir.$count_file_name,++$counter);