function $(id) { return document.getElementById(id); }

function MenuClass ( type , mappenavn , dansknavn , engelsknavn , tysknavn )
{
    this.type = type ;
    this.link = mappenavn ;
    this.da   = dansknavn ;
    this.en   = engelsknavn ;
    this.ge   = tysknavn ;
}

function Pige ( navn , title , kommentar )
{
    this.navn      = navn ;
    this.title     = title ;
    this.kommentar = kommentar ;
}

function FormatBillede ( nummer , visWidth , visHeight , preWidth , preHeight )
{
    this.nummer    = nummer ;
    this.visWidth  = visWidth ;
    this.visHeight = visHeight ;
    this.preWidth  = preWidth ;
    this.preHeight = preHeight ;
}