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

function nameFocus(cid)
{
	var objDiv = document.getElementById("nameList");
	var objNDiv = document.getElementById(cid);
	objDiv.scrollTop = (objNDiv.offsetTop-28);
}

function nameFocus2(cid)
{
	var objDiv = document.getElementById("nameList");
	var objNDiv = document.getElementById(cid);
	objDiv.scrollTop = (objNDiv.scrollTop-28);
}