document.write ("12288");