<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>