function changeTitle(title) { document.title = title; }