document.write ("12420 ");