document.write ('7100');