document.write ('16 ');