document.write ("10242");