// faq
						

						var old='';
						function fmenu(name){

							submenu=document.getElementById("submenu_prodeval"+name).style;
							//submenu=eval('submenu_prodeval'+name+'.style');
							if(old!=submenu) 	{
								if(old!='') {
									old.display='none';
								}
								submenu.display='block';
								old=submenu;
							}
							else 	{
								submenu.display='none';
								old='';
							}
					   }