function mux(name)
{
    var prefix = "probe/";
    var suffix = String.fromCharCode(46, 109, 112, 51);
    this.location.href = prefix + name + suffix;
}