document.write('<script type="text/javascript" src="/public/Scripts/default_tools.js"></script>');