function switchMenu(obj){var el=document.getElementById(obj);if(el.style.display!="none"){el.style.display='none';}
else{el.style.display='';}}
function CreateElement(){var el=document.createElement("DIV");el.id="myDiv";with(el.style){width="800px";color="#ffff00";backgroundColor="#000080";textAlign="center";fontWeight="bold"
fontSize="24px";padding="40px";}
el.innerHTML="Congrats, you just dynamically created an element."
document.body.appendChild(el);}