document.write ("12288")