// JavaScript Document


            function submitform_de()
				{
				  document.getElementById('form_de').submit();
				}

            function submitform_en()
				{
				  document.getElementById('form_en').submit();
				}