document.write (" 3888 ");