document.write ("4112");