document.write ('3112');