// JavaScript Document
function getlang ( selectedtype )
{
  document.input.lang.value = selectedtype ;
  document.input.submit() ;
}