function ventana(url){ var opciones="toolbar=no, location=no, directories=no, status=no, menubar=no, scrollbars=no, resizable=yes, width=700, height=365, top=85, left=140"; window.open(url,"",opciones); } /* FILE ARCHIVED ON 13:12:52 Sep 22, 2013 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 15:00:09 Sep 05, 2018. JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). */ /* playback timings (ms): LoadShardBlock: 112.585 (3) esindex: 0.012 captures_list: 129.714 CDXLines.iter: 12.039 (3) PetaboxLoader3.datanode: 110.202 (4) exclusion.robots: 0.317 exclusion.robots.policy: 0.298 RedisCDXSource: 0.747 PetaboxLoader3.resolve: 1081.747 load_resource: 1093.353 */