document.write ('6880');