document.write ('3888');