function doErr()
{
	document.getElementById('err').style.display = '';
}