document.write ("10212");