/* Div fonctions */function glisseCube(px) {document.getElementById('global').style.background='url(../img/cube-fond-lang.png)' + px +'px 0 no-repeat';document.getElementById('val').innerHTML= px;}function showQuest() {document.getElementById('question').style.top='300px';document.getElementById('map').style.top='-2000px';}function showMap() {document.getElementById('question').style.top='-2000px';document.getElementById('map').style.top='300px';}function closeMerci() {document.getElementById('merci').style.display='none';}function showBulle() {document.getElementById('bulle').style.display='block';}function hideBulle() {document.getElementById('bulle').style.display='none';}/* Appli mp3 */function animDiv(id, maxX, maxY, dur) {var img = document.getElementById(id);img.style.width = '300px';img.style.height = '1px';img.pasX = maxX/dur;img.pasY = maxY/dur;runAnim(id, dur);}function runAnim  (id, dur) {var img = document.getElementById(id);var ws = img.style.width;var hs = img.style.height;var w = parseInt(ws.substring(0, ws.length -2));var h = parseInt(hs.substring(0, hs.length -2));w += img.pasX;h += img.pasY;img.style.width = w+'px';img.style.height = h+'px';if (dur >0) setTimeout("runAnim(\"" + id + "\", " + (dur -1) + ");", 100);}/* Ajax mp3 */var xmlhttps= new Array();function loadXMLdoc(url, id, attente) { var i= xmlhttps.length; if(attente != null) {  document.getElementById(id).innerHTML= attente; } if(window.XMLHttpRequest) {/*Mozilla*/  xmlhttps[i]= new XMLHttpRequest();  xmlhttps[i].onreadystatechange= function() { xmlhttpChange(i, url, id); };  xmlhttps[i].open("GET", url, true);  xmlhttps[i].send(null); } else if(window.ActiveXObject) {/*IE*/  xmlhttps[i]= new ActiveXObject("Microsoft.XMLHTTP");  if(xmlhttps[i]) {   xmlhttps[i].onreadystatechange= function() { xmlhttpChange(i, url, id); };   xmlhttps[i].open("GET", url, true);   xmlhttps[i].send();  } }}function xmlhttpChange(i, url, id) { if(xmlhttps[i].readyState==4) {/*complete*/  if(xmlhttps[i].status < 400) {   document.getElementById(id).innerHTML= xmlhttps[i].responseText;  }  else {   document.getElementById(id).innerHTML= "[<span title=\""+url+"\">Erreur "+xmlhttps[i].status+"</span>]";  } }}
