<?php

    if (isset($_GET['csv'])) {
		$csv = $_GET['csv'];
        header("Location: https://" . $_SERVER['SERVER_NAME'] . "/web.php?csv=" . $csv);
        exit();
	}

?>