document.write('<script src="script/def_list.js"></script>');
document.write('<script src="link_print.js"></script>');