<?php 
 $func = $_GET["func"]; 
 header("Location: /manual/basics/functions/default?func=".$func.""); 
 ?>

