document.write ("6242");