var g_navImages=["images/base.jpg","images/home.png","images/homeR.png","images/rO.jpg"];if(typeof g_runtimeFiles == 'undefined')var g_runtimeFiles='/navFiles/';