var date = new Date();
var year = date.getYear();
var month = date.getMonth();
var day = date.getDate();
var hour = date.getHours();
var minute = date.getMinutes();
var second = date.getSeconds();
function RunMenu() {
document.write('\n');
}
function RunGalerie(kat,objektId) {
document.write('\n');
}
function RunBilder(objektId,anzahlBilder,farbe,aktuellesObjekt,anzahlObjekte,branchenId) {
document.write('\n');
}
function RunIntro() {
document.write('\n');
}
function RunCheckButton(branche,farbe) {
document.write('\n');
}