var so_general=1;function so_addcss(file_name)
{var head=document.getElementsByTagName('head')[0];var css=document.createElement('link');css.type='text/css';css.rel='stylesheet';css.href=file_name;head.appendChild(css);}
function so_addjs(file_name)
{var head=document.getElementsByTagName('head')[0];var js=document.createElement('script');js.type='text/javascript';js.src=file_name;head.appendChild(js);}