var widthHeight_image = "#define x_width 1\n#define x_height 1\nstatic char x_bits[] = {0x00};\n";

function showmenu(elmnt)
{
    if( document.getElementById(elmnt) != null)
    {
        document.getElementById(elmnt).style.visibility="visible";
    }
}

function hidemenu(elmnt)
{
    if( document.getElementById(elmnt) != null)
    {
        document.getElementById(elmnt).style.visibility="hidden";
    }

}