document.write ('12');