function  showNav(divId1){
document.getElementById(divId1).style.display='block';


}

function hideNav(divId1)
{

document.getElementById(divId1).style.display='none';
}
function pause(numberMillis)
{
var now = new Date();
var exitTime = now.getTime() + numberMillis;


while (true)
{
now = new Date();
if (now.getTime() > exitTime)
return;
}
}