document.write ("12096");