document.write( ' 128 ')