function change_frames(file, height) {
	   document.getElementById('CONTENTFRAME').src = file;
	   document.getElementById('CONTENTFRAME').height = height;
	}
	
	function change_parent_frames(file, height) {
	   top.document.getElementById('CONTENTFRAME').src = file;
	   top.document.getElementById('CONTENTFRAME').height = height;
	}