function initGlobals142() { 
}


function main617() { 
    initGlobals142();
}


function config854() { 
}