context: function serv_ctcpto (target, code, msg, method){    if (typeof msg == "undefined")        msg = "";    if (typeof method == "undefined")        method = "PRIVMSG";        code = code.toUpperCase();    if (code == "PING" && !msg)        msg = Number(new Date());    this.messageTo (method, target, msg, code);}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/3df45f52a2f3a304b5c3c14817a3c2c3cbfc6921/irc.js/buggy/js/lib/irc.js