document.write ("812 ");