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

Menu = new MySimpleDDMenu('menu');
Menu.linkSub('profile', 'subprofile');
Menu.linkSub('product', 'subproduct');
Menu.linkSub('rnd', 'subrnd');
Menu.linkSub('tech', 'subtech');
Menu.linkSub('contact', 'subcontact');