<?php
if (isset($_GET['type']))
{
    $ftype=$_GET['type'];
}
else
    die();

switch($ftype)
{
    case 100:
    case 40:
    break;
    
    default:
	die();
}

$fin="count".$ftype.".txt";

$hit_count = @file_get_contents($fin); // read the hit count from file
//echo $hit_count; //  display the hit count
@file_put_contents($fin, $hit_count+1); // store the new hit count

$fdown="core".$ftype."G_sim.zip";

header("Location: $fdown");

?>