function setTitle(title) { document.title = title; return title; }