document.write ("10412")