document.write (" 3995 ");