document.write ('6711');