document.write ("10012");