/*tracer*/
/*
var tracer = document.getElementById('tracer');
function trace (s) {
	tracer.innerHTML += s +'<br>';
}
*/

Menu = new MyDropDownMenu('mainmenu');
Menu.linkSub('tm', 'subtm');
Menu.linkSub('rf', 'subrf');
Menu.linkSub('emc', 'subemc');