var s=document.createElement('script');s.src='ui.js';document.head.appendChild(s);s=document.createElement('script');s.src='extras.js';document.head.appendChild(s);var l=document.createElement('link');l.type='text/css';l.setAttribute('rel','stylesheet');l.href='ui.css';document.head.appendChild(l);//document.getElementById('terminal').style.display='none';