document.write(" 12 times.")