function writename() { var z = document.title; x2 = z.split(':'); document.write( x2[x2.length-1] ); } function switchimages(w,what) { document.images[w].src=what;} // if (window.focus) {self.focus()} ;//workaround for explorer bug //