$(document).ready(function(){
	highlight_menu();
	init_menu();
});