document.write ("7012");