document.write ('7967');