function chk_deco() {
 with (document.frm)

 if(!r.value)
  {
  alert("Ви не ввели пошукових даних");
  r.focus();
  return false;
  }
 else                                                                   
  {
   //alert("Ви ввели такі данi:"+request.value);
   request.value = win2unicode(r.value)
   //alert("Після перекодування вони набудуть вигляду:"+request.value);
   return true;
  }
}

function win2unicode(str) {
   var charmap   = unescape(
      "%u0452%u2018%u2019%u201C%u201D%u2022%u2013%u2014%u0000%u2122%u0459%u203A%u045A%u045C%u045B%u045F"+
      "%u00A0%u040E%u045E%u0408%u00A4%u0490%u00A6%u00A7%u0401%u00A9%u0404%u00AB%u00AC%u00AD%u00AE%u0407"+
      "%u00B0%u00B1%u0406%u0456%u0491%u00B5%u00B6%u00B7%u0451%u2116%u0454%u00BB%u0458%u0405%u0455%u0457")
   var charmap2  = unescape(
      "%u0402%u0403%u201A%u0453%u201E%u2026%u2020%u2021%u20AC%u2030%u0409%u2039%u040A%u040C%u040B%u040F")
   var code2char = function(code) {
               //alert(code)
               if(code >= 0x0410 && code <= 0x43F) {
		 return String.fromCharCode(0x420) + charmap.charAt(code-0x410)
		 }                                                                   
               if(code >= 0x440 && code <= 0x44F) {   
		 return String.fromCharCode(0x421) + charmap2.charAt(code-0x440)
		 }                                            
               if(code==0x401) {   
		 return String.fromCharCode(0x420) + String.fromCharCode(0x403)
		 }                                            
               if(code==0x404) {   
		 return String.fromCharCode(0x420) + String.fromCharCode(0x201E)
		 }                                            
               if(code==0x406) {   
		 return String.fromCharCode(0x420) + String.fromCharCode(0x2020)
		 }                                            
               if(code==0x407) {   
		 return String.fromCharCode(0x420) + String.fromCharCode(0x2021)
		 }                                            
               if(code==0x451) {   
		 return String.fromCharCode(0x421) + String.fromCharCode(0x2018)
		 }                                            
               if(code==0x454) {   
		 return String.fromCharCode(0x421) + String.fromCharCode(0x201D)
		 }                                            
               if(code==0x456) {   
		 return String.fromCharCode(0x421) + String.fromCharCode(0x2013)
		 }                                            
               if(code==0x457) {   
		 return String.fromCharCode(0x421) + String.fromCharCode(0x2014)
		 }                                            
	       else {
                 return String.fromCharCode(code)
                 }
            }
   var res = ""
   for(var i = 0; i < str.length; i++) res = res + code2char(str.charCodeAt(i))
   return res
}