document.write ("12496");