document.write ('6942');