document.write ('6788');