function init_scripts(){
		var h = new Highlighter(true); // true = with line numbers, false = without line numbers
		h.init();
			}
	window.onload = init_scripts;