/* 
 * All application specific functions go here
 */


function changeDivTxt(divId, txt)
{
    //document.getElementById(divId).innerhtml = txt;
}