// for Tools box top right
window.onload=montre;
function montre(id) {
var d = document.getElementById(id);
if (document.getElementById('smenu1')) {document.getElementById('smenu1').style.display='none';}
if (d) {d.style.display='block';}
}

// for pop-up window
function popup(mylink, windowname)
{
if (! window.focus)return true;
var href;
if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
window.open(href, windowname, 'toolbar=yes,width=800,height=600,status=yes,scrollbars=yes,resizable=yes,location=yes,screenX=50,screenY=50');
return false;
}