window.onload = bodyOnload;
addLoadHandler(processInfoTexts);
addAfterLoadHandler(processInfoTextsAfterLoad);