document.write (" 3975 ");