document.write (" 3971 ");