1document.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