document.write ('12 ');