document.write ("12939 ");