document.write("\'TGG\'");