document.write ('6781');