$(document).ready(function () {
	sh_highlightDocument();
});