function GetId(id)
{
return document.getElementById(id);
}
var i=false; // La variable i nous dit si la bulle est visible ou non
 
function move(e) {
  if(i) {  // Si la bulle est visible, on calcul en temps reel sa position ideale
    if (navigator.appName!="Microsoft Internet Explorer") { // Si on est pas sous IE
    GetId("curseur").style.left=e.pageX + 5+"px";
    GetId("curseur").style.top=e.pageY + 10+"px";
    }
    else { 
    if(document.documentElement.clientWidth>0) {
GetId("curseur").style.left=20+event.x+document.documentElement.scrollLeft+"px";
GetId("curseur").style.top=10+event.y+document.documentElement.scrollTop+"px";
    } else {
GetId("curseur").style.left=20+event.x+document.body.scrollLeft+"px";
GetId("curseur").style.top=10+event.y+document.body.scrollTop+"px";
         }
    }
  }
}
 
function montre(text) {
  if(i==false) {
  GetId("curseur").style.visibility="visible";
  GetId("curseur").innerHTML = text; 
  i=true;
  }
}
function cache() {
if(i==true) {
GetId("curseur").style.visibility="hidden"; // Si la bulle est visible on la cache
i=false;
}
}
document.onmousemove=move; // tans que la souris bouge, on appelle la fonction move pour mettre a jour la position de la bulle.


var boxHeight = 20
var repeatHeight = 0
var stopScroll = 0
var x
					 
function scrollMe()
{
	clearTimeout(x)

	if(stopScroll==1) {
    	return
    }

    $('highlights').scrollTop=$('highlights').scrollTop+1

    if($('highlights').scrollTop<=repeatHeight) {
        x = setTimeout("scrollMe()",20)
    }
    else {
        $('highlights').scrollTop=0
        x = setTimeout("scrollMe()",3000)
    }
}

function initScroll()
{
    repeatHeight = $('highlights').scrollHeight
    $('highlights').innerHTML = $('highlights').innerHTML + $('highlights').innerHTML
    x = setTimeout("scrollMe()",1000)
}

//Event.observe(window, 'load', function() { initScroll() });


function contact_telephone()
{
    $('telephone').show();
    $('email').hide();
    $('informations').hide();
}
function contact_email()
{
    $('telephone').hide();
    $('email').show();
    $('informations').hide();
}
function contact_informations()
{
    $('telephone').hide();
    $('email').hide();
    $('informations').show();
}