/**
 * Resizes an iframe to fit the contents it's displaying
 */
function IframeUtils_fit_iframe(element_id, new_height, end_padding) {
	document.getElementById(element_id).style.height = parseInt(new_height) + end_padding + 'px';
}

/**
 * Used by an iframe link to change the url of the parent.
 * 
 */
function IframeUtils_set_location(url) {
	document.location=url;
};