// This file is called from /wp-srv/ad/ad_v2.js because that file has such
// deep penetration across all our pages and vendors.
var PIGGY_BACK_ALREADY_CALLED = true;

// OTTO CODE
if ( typeof otto == "undefined" ) {
   document.write('<s\cript src="http://www.washingtonpost.com/wp-srv/otto/js/mbox.js"></s\cript>');
   document.write('<s\cript src="http://www.washingtonpost.com/wp-srv/otto/js/Otto.js"></s\cript>');
}

// IE-8 Code: CRK -- NOT YET ACTIVE 10/27/2008
// document.write('<meta http-equiv="X-UA-Compatible" content="IE=7"/>');
