var children = document.getElementsByClassName("DnDAreaTable"); 
var children = document.getElementsByClassName('DnDAreaTable'); 
function hideOldLabels() {	var children = document.getElementsByClassName("DnDAreaTable");	if (children == null) {		return;	}	var element = null;	for (var i = 0; i < children.length; i++) {		element = children[i];		element.style.visibility = "hidden";	}}
7496	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7496/d7b2447bf60e05f03ce8b187398a6f1178328344/BuilderHelper.js/clean/resources/javascript/BuilderHelper.js