document.write("3888 ");