two loops with pagination in second loop

----- header.php -----

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"><head>
<meta http-equiv="Content-Type" content="<?php bloginfo('html_type'); ?>; charset=<?php bloginfo('charset'); ?>" />

<title>Untitled</title>

<?php wp_head(); ?>

</head>

<body>

----- index.php ----

<?php get_header() ?>
<br />
HIGHLIGHTS (3) <br />
            <?php query_posts('showposts=3&cat=4,6,8,9');?>

            <?php if (have_posts()) : ?>

                <?php while (have_posts()) : the_post(); ?>


                        <span><?php the_time('d.m.Y'); ?></span>

                        <h3 class="cat-<?php echo $category[0]->cat_ID ?>"><a href="<?php the_permalink() ?>" rel="bookmark" title="Leia: <?php the_title_attribute(); ?>"><?php the_title(); ?></a></h3>

            <?php endwhile; ?>

                <?php else : ?>

            <?php endif; ?>

<?php wp_reset_query(); ?>

<hr />
<br />
POSTS <br />

<?php
$last_three = get_posts('cat=4,6,8,9&numberposts=3');
$last_three_ids = array();
if( $last_three ) foreach( $last_three as $last_post ) { $last_three_ids[] = $last_post->ID; }

$query = new WP_Query(array('cat' => '4,6,8,9', 'post__not_in' => $last_three_ids, 'posts_per_page' => 8, 'paged' => get_query_var('paged') ) );  ?>

                <?php if ($query->have_posts()) : while($query->have_posts()) : $query->the_post(); ?>

                        <h3><a href="<?php the_permalink() ?>" rel="bookmark" title="Leia: <?php the_title_attribute(); ?>"><?php the_title(); ?></a></h3>

                        <p><?php echo excerpt(20); ?> </p>

                <?php endwhile; ?>

                    <?php if(function_exists('wp_pagenavi')) : wp_pagenavi(array( 'query' => $query )); endif; ?>

                <?php else : ?>

                <?php endif; ?>
<?php get_footer() ?>

----- footer.php -----

<?php wp_footer(); ?>

</body>

</html>