function Plateforme(){
            if(navigator.appVersion.indexOf("Win")>-1) return"Windows";
            if(navigator.appVersion.indexOf("Mac")>-1) return"Macintosh";
            if(navigator.appVersion.indexOf("X11")>-1) return"Unix";
            if(navigator.appVersion.indexOf("Unix")>-1) return"Unix";
            if(navigator.appVersion.indexOf("Linux")>-1) return "Unix";
            return "Unknown";
      }


      var curPage = 1;
      var heightPage;
      var nbPageToPrint = 5;
     
      function get_height(height){
            var doc = document.getElementById('text');

            if (document.all || Plateforme() == "Macintosh") // ok I.E
                  heightPage = doc.offsetHeight;
            else // ok firefox.0.9.2 , pas mozilla.1.0 ni netscape.7.02
            {
                  H = document.defaultView.getComputedStyle(doc, null).height;
                  heightPage = H.substring(0, H.indexOf("px"));
            }
            
            nbPage = Math.round(heightPage / height + 0.49);
            print_pagin(height);
      }
      
      
      function print_pagin(height)
      {      
            var toPrint = "<table style='margin-left:auto; margin-right:auto;'><tr>";
            var pagin = document.getElementById('zoom_pagin');
            pagin.style.display = 'block';
            
            
            toPrint += "<td style=''><a class='zoom_prevnext' href='javascript:none();' onclick='if (curPage > 1) move_slide("+height+" * "+(curPage - 2)+", "+(curPage - 1)+", "+height+");'><img src='im/boutons/flecheBleueLeft.gif' alt='imgPrecedant' style='display:block; float:left;' /></a></td>";
            
            for ($i = (curPage - 3) < 0 ? 0 : curPage - 3; $i < nbPage && $i < (curPage + 2);$i++)
            {
                  toPrint += "<td style=''>";
				  toPrint += "<div style='height:14px; background:#8e222f; padding-top:0px; padding-left:4px; padding-right:4px; margin-left:4px; margin-right:4px;'>";
                  
                  if ($i + 1 != curPage)
                        toPrint += "<a class='pagin' href='javascript:none();' onclick='move_slide("+height+" * ("+$i+"), "+($i + 1)+", "+height+");'>"+($i + 1)+"</a>";
                  else
                        toPrint += "<a class='pagin_link' href='javascript:none();' onclick='move_slide("+height+" * ("+$i+"), "+($i + 1)+", "+height+");'>"+($i + 1)+"</a>";
                  toPrint += "</div></td>";
            }
            if (curPage + 3 <= nbPage && curPage < 3)
            {
                  toPrint += "<td style=''>";
				  toPrint += "<div style='height:14px; background:#8e222f; padding-top:0px; padding-left:4px; padding-right:4px; margin-left:4px; margin-right:4px;'>";
                  toPrint += "<a class='pagin' href='javascript:none();' onclick='move_slide("+height+" * ("+$i+"), "+($i + 1)+", "+height+");'>"+($i + 1)+"</a>";
                  toPrint += "</div></td>";
                  $i++;
                  if (curPage + 4 <= nbPage && curPage < 2)
                  {
                        toPrint += "<td style=''>";
					    toPrint += "<div style='height:14px; background:#8e222f; padding-top:0px; padding-left:4px; padding-right:4px; margin-left:4px; margin-right:4px;'>";
                        toPrint += "<a class='pagin' href='javascript:none();' onclick='move_slide("+height+" * ("+$i+"), "+($i + 1)+", "+height+");'>"+($i + 1)+"</a>";
                        toPrint += "</div></td>";
                  }
            }
            
            toPrint += "<td style=''><a class='zoom_prevnext' href='javascript:none();' onclick='if (curPage < nbPage) move_slide("+height+" * "+(curPage)+", "+(curPage + 1)+", "+height+");'><img src='im/boutons/flecheBleueRight.gif' alt='imgSuivant' style='display:block; float:left;'/></a></td>";

            toPrint += "</tr></table>";

            if (nbPage > 1)
                  pagin.innerHTML = toPrint;

      }
      
      
      function move_slide($pos, $page, height)
      {
            var pagin = document.getElementById('zoom_pagin');
            var doc = document.getElementById('text');

            curPage = $page;
            
            doc.style.marginTop = -1 * $pos - 1+"px";
            
            print_pagin(height);
      } 
      
      
      
      

      
      
     
      function prechargimg() {
            var doc = document;
            if (doc.images)
            {
                  if(!doc.precharg)
                        doc.precharg=new Array();
                  var i, j = doc.precharg.length, x = prechargimg.arguments;
                  for(i=0; i<x.length; i++)
                        if (x[i].indexOf("#")!=0)
                        {
                              doc.precharg[j]=new Image;
                              doc.precharg[j++].src=x[i];
                        }
            }
      }