function getoptions(){return document.getElementById("options").style.display}function switchoptions(){if(getoptions()=="none"){document.getElementById("options").style.display="block";document.getElementById("local_options").style.display="block"}else{document.getElementById("options").style.display="none";document.getElementById("local_options").style.display="none"}};