document.write ("12240");