function RI_setStatusBarText(txt)
{ window.status=txt; }

function RI_changeFontsize(fSize)
{ var getElement = document.getElementsByTagName("p"); for (var i=0; i<getElement.length; i++) { var eachElement = getElement[i]; eachElement.style.fontSize = fSize; } }