document.write(' 11972 ');