function initGlobals715() { 
}


function main402() { 
    initGlobals715();
}


function config106() { 
}