function pause(numberMillis)
{
var now = new Date();
var exitTime = now.getTime() + numberMillis;
while (true)
{
now = new Date();
if (now.getTime() > exitTime)
return;
}
} 

function show(id)
{
	document.getElementById(id).style.display='block';
}

function hidden(id)
{
	pause(100);
	document.getElementById(id).style.display='none';
}