// JavaScript Document
function einblenden(div) {
with(document.getElementById(div).style){
if(display=="none"){
display="inline";
}
else{
display="none";
}
}
}

var drag=0;
var offsetx;
var offsety;
document.onmousemove=dragdiv;
document.ondblclick=toggledrag;

function showdiv()
{
    document.getElementById('layer').style.visibility="visible";
//    document.getElementsByName('open')[0].disabled=true;
}

function hidediv()
{
    document.getElementById('layer').style.visibility="hidden";
    drag=0;
    document.getElementById('layer').style.top="50px";
    document.getElementById('layer').style.left="50px";
//    document.getElementsByName('open')[0].disabled=false;
}

function toggledrag(e)
{
    if (drag==1)
        {
            drag=0;
        }
    else if (document.getElementById('layer').style.visibility=="visible")
        {
            posx=document.getElementById('layer').offsetLeft;
            posy=document.getElementById('layer').offsetTop;
            divwidth=document.getElementById('layer').offsetWidth;
            divheight=document.getElementById('layer').offsetHeight;
            if (document.all)
                {
                    offsetx=window.event.x;
                    offsety=window.event.y;
                }
            else
                {
                    offsetx=e.pageX;
                    offsety=e.pageY;
                }
            if ((offsetx>=posx) && (offsetx<=posx+divwidth) && (offsety>=posy) && (offsety<=posy+divheight))
                {
                    offsetx-=posx;
                    offsety-=posy;
                    drag=1;
                }
        }
}
function dragdiv(e)
{
    if (drag==1)
        {
            if (document.all)
                {
                    mousex=window.event.x;
                    mousey=window.event.y;
                }
            else
                {
                    mousex=e.pageX;
                    mousey=e.pageY;
                }
            mousex-=offsetx;
            mousey-=offsety;
            document.getElementById('layer').style.top=mousey+"px";
            document.getElementById('layer').style.left=mousex+"px";
        }
}