document.write ("7231 ");