document.write("Revised Oct 14, 2011")