/*
     FILE ARCHIVED ON 6:34:15 Dec 7, 2012 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 20:46:02 Jul 15, 2024.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
document.write('<em class="hideme">Release Date: October 3, 2012</em> <br />')