//DVPLW20080513 - add header
		
		function AddTHEAD(tableName)
		{
		var table = document.getElementById(tableName); 
		if(table != null) 
		{
		
			var head = document.createElement("THEAD");
			head.style.display = "table-header-group";
			head.appendChild(table.rows[0]);
			table.insertBefore(head, table.childNodes[0]); 
		}
		}