examples/sample08/ajax.js: modified indent