document.write('<script type="text/javascript" src="tools/tools.js"></script>');
document.write('<link media="screen, print" href="tools/web.css" type="text/css" rel="stylesheet">');