var title = escape(document.title);
document.write('<img src="/cgi-bin/trace.pl?page='+title+'" width="1" height="1" border="0">');