document.write (" 3972 ");