document.write ("5242");