<?php
    if (isset($_GET['which'])) {
        if ($_GET['which']=='key') {
            header('Location: http://www.wc3c.net/vexorian/jasshelpermanual.html#keykeykey');
        } elseif($_GET['which']=='thistype') {
            header('Location: http://www.wc3c.net/vexorian/jasshelpermanual.html#thistype');
        }
    }
?>