experimenting with retrieving/changing HTML elements with JavaScript