
// get all the vars out of the URL
$url_params=explode("/",$_SERVER["REQUEST_URI"]);
$product=$url_params[3];
$version=$url_params[4];
$build_id=$url_params[5];
$build_target=$url_params[6];
$locale=$url_params[7];
$channel=$url_params[8];
$os_version=$url_params[9];
$dist=$url_params[10];
$dist_version=$url_params[11];
$filename=$url_params[12];
