document.write ('6742');