document.write(' 11948 ');