document.write ("12004");