document.write(' 3992 ');