document.write ("12 ");