document.write ('7212');