document.write ( 12 );