document.write(' 3996 ');