function hexdigit(v)
{
   symbs = "0123456789ABCDEF";
    return symbs.charAt(v & 0x0f); 
} 


function hexval(v) 
{
   return hexdigit(v >>> 12) + hexdigit(v >>> 8) + hexdigit(v >>> 4) + hexdigit(v); 
} 


function uni2j(val) 
{
   if (val == 10)
      return "\\n" 
    else if (val == 13)  
      return "\\r" 
   else if (val == 92) 
	return "\\\\" 
   else if (val == 34)
	 return "\\\"" 
   else if (val < 32 || val > 126)
	 return "\\u" + hexval(val)
   else 
	return String.fromCharCode(val);
 } 


function char2Unicode(uni, fld_java)
 {
    lit = ''; 
    for (i = 0; i < uni.length; i++)
    { 
	     v = uni.charCodeAt(i);
             lit = lit + uni2j(v);
    }
    fld_java.value = lit ; 
 }