document.write ("12400");