var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; };
if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } }
{
  let window = _____WB$wombat$assign$function_____("window");
  let self = _____WB$wombat$assign$function_____("self");
  let document = _____WB$wombat$assign$function_____("document");
  let location = _____WB$wombat$assign$function_____("location");
  let top = _____WB$wombat$assign$function_____("top");
  let parent = _____WB$wombat$assign$function_____("parent");
  let frames = _____WB$wombat$assign$function_____("frames");
  let opener = _____WB$wombat$assign$function_____("opener");

/*
Plugin Name: Pinterest Pin It Button For Images
Plugin URI: http://wordpress.org/plugins/pinterest-pin-it-button-for-images/
Description: Displays a Pin It button directly over your images.
Author: Canha
Author URI: http://www.canha.net
This function shows the pin-it dialogue
*/
// By vhf
function pin_this(e, url) {
	jQuery(window).ready(function(jQuery) {
		window.open(url, 'pinterest', 'screenX=100,screenY=100,height=340,width=730');
		e.preventDefault();
		e.stopPropagation();
	});
//});
}

}

/*
playback timings (ms):
  captures_list: 1306.176
  exclusion.robots: 0.104
  exclusion.robots.policy: 0.097
  RedisCDXSource: 5.307
  esindex: 0.008
  LoadShardBlock: 1276.924 (3)
  PetaboxLoader3.datanode: 1216.65 (4)
  CDXLines.iter: 20.922 (3)
  load_resource: 64.505
  PetaboxLoader3.resolve: 24.948
*/