// Check if browser is Opera. If so, use a different menu_com file.
if(navigator.userAgent.indexOf('Opera')!=-1 || navigator.userAgent.indexOf('Firefox')!=-1){
	document.write("<scr"+"ipt src='/js/menu_com_1320.js'></scr"+"ipt>");
}else{
	document.write("<scr"+"ipt src='/js/menu_com_1310.js'></scr"+"ipt>");
}