function setDxColWidth(dimms) {
	var obj;
	for (i = 0; i < dimms.length; i++) {
		obj = document.getElementById(dimms[i][0]);
		if (obj != null) {
			try {
				obj.style.width = dimms[i][1];
				obj.style.marginLeft = dimms[i][2];
			} catch (e) {
			}
			try {
				obj.style.display = '';
			} catch (e) {
			}
		}
	}
}

function setDxMargins(dimms) {
	var obj;
	for (i = 0; i < dimms.length; i++) {
		obj = document.getElementById(dimms[i][0]);
		if (obj != null) {
			try {
				obj.style.marginTop = dimms[i][1];
			} catch (e) {
			}
		}
	}
}