Pasted

<?php
<?php 
if(is_search()):
        $m3 = strtolower( $_GET['s'] );
        $m3clean = preg_replace("/[^ 0-9a-zA-Z]/", " ", $m3);
        while (strstr($m3clean, "  ")) {
                $m3clean = str_replace("  ", " ", $m3clean);
        }
        $m3clean = urlencode($m3clean);
        $m3clean = str_replace("+", "-", $m3clean);
        if ($m3 != '') {
                header('Location: '.home_url($basepermalink).'/'.$m3clean.''.$endpermalink.'');
        }
endif;