document.write ("12096")