document.write ("12200");