document.write ("9996");