document.write ('6777');