document.write (" 8217 ");