document.write (" 3889 ");