/**
 * arguments : strings of elements ids.
 */
function matchHeights(idSourceName, idDestinationName) {
	if (document.getElementById(idDestinationName) && document.getElementById(idSourceName)) {
	var idSource = document.getElementById(idSourceName);
	var idDestination = document.getElementById(idDestinationName);
	if (typeof idSource != "undefined" && typeof idDestination != "undefined") {
		idDestination.style.height = idSource.offsetHeight + 'px';
	}
	}
}

matchHeights('error_source', 'error_destination');