/**
 * 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', 'error_destination');

