<script language="JavaScript" type="text/JavaScript">
function setHTML(e) {
	if (e) {
		document
		.getElementById("example_area")
		.innerHTML
		=document
		   .getElementById(e)
		   .innerHTML;
	}
	else {
		document
		 .getElementById("example_area")
		 .innerHTML=" ";
	}
}
</script>