document.write (" 3983 ");