$val) { $_GET[$key] = htmlspecialchars( preg_replace( '/%.?.?/', '', $_GET[$key] ) ); }