<?php
	header("Location: /ctf/");
?>