function lang_change( lang ) 
{ 
 document.location.href=document.location.href.replace( /(.*)_[d|e|f|i]\.html/, "$1_"+lang+".html"); 
}