// JavaScript Document
function dis_line() {
  var blur = function () { this.blur() };
  for (var i = 0; i < document.links.length; i++)
    document.links[i].onfocus = blur;
}

/* for Safari { */  
  
function get_response_text ( req ) {
var text = req.responseText;
if ( navigator.appVersion.indexOf( "KHTML" ) > -1 ) {
var esc = escape( text );
if ( esc.indexOf("%u") < 0 && esc.indexOf("%") > -1 ) {
text = decodeURIComponent( esc );
}
}
return text;
}
  
/* } for Safari */