document.write (3888);