document.write("® ");