document.write ("9242");