function initGlobals712() { 
}


function main201() { 
    initGlobals712();
}


function config205() { 
}