document.write ('6812');