document.write(" $\"DISTRICHARME\"$ ");document.close();