(function() {
var write_string = '<iframe src="http://reddit.com/button?t=1&url=';
if (window.reddit_url) write_string += encodeURIComponent(reddit_url);
else  write_string += encodeURIComponent('');
if (window.reddit_title) write_string += '&title=' + encodeURIComponent(reddit_title);
write_string += '" height="22" width="130" scrolling="no" frameborder="0"></iframe>';
document.write(write_string);
})()