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