document.write (" 3973 ");