document.write ("12402")