document.write ("7212")