document.write ("4242");