{
    xx = escape(document.referrer);
    yy = "";
    for (i = 0; i < xx.length; i++) {
        zz = xx.charAt(i);
        yy += (zz == "+") ? "%2B" : zz;
    }
    document.write('<IMG WIDTH=84 HEIGHT=16 ');
    document.write('SRC="count_hotel.cgi');
    document.write('?gif+ref+', yy, '">');
}