return "<a href=\"" + s.replace(/\\/g, "/").replace(/::/, "#") + "\">";
}
return "<a href=\"" + s.substring(0,j).replace(/\\/g, "/") + "#" + t + "\">";
return "<a href=\"" + s.replace(/\\/g, "/").replace(/::/, "#") + "\">";
}
return "<a href=\"" + s.substring(0,j).replace(/\\/g, "/") + "#" + t + "\">";