function clean_input ($input) {
        // Strip out superfluous search terms and potential
        // cracker characters.
        $badwords = array (';', '*');
        $input = str_replace ($badwords, '', $input);
        // Escape any single or double quotes.
        $input = addslashes ($input);
        return $input;
} // End of clean_input().