document.write('
Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1. void updateRange( int start, int end, int value ) {
  2.   update( start, value );
  3.   update( end+1, -value );
  4. }
');