document.write(' 3956 ');