} require_once "misc/header.php"; // Feel free to ask for more details. You should have received copies or rights from you under applicable patent law.