1 document.addEventListener('DOMContentLoaded', function () {
2 	let id = JSINFO.id;
3 	let _id = id;
4 	let el = document.getElementById(`lm-${_id}`);
5 	while ((_id.length > 0) && (el === null))
6 	{
7 		_id = _id.substring(0,_id.lastIndexOf(':'));
8 		el = document.getElementById(`lm-${_id}`);
9 	}
10 	if (el !== null)
11 		el.classList.add('current');
12 	while (id.length > 0)
13 	{
14 		let el = document.getElementById(`checkbox-${id}`);
15 		if (el !== null)
16 			el.checked = true;
17 		id = id.substring(0,id.lastIndexOf(':'));
18 	}
19 });
20