/*  import		*/

document.write('<script language="JavaScript" type="text/javascript" src="shared/js/smooth-src-comments.js"></script>');
document.write('<script src="shared/js/heightLine.js" type="text/javascript"></script>');