// JavaScript Document

defaultStatus = document.title + '.';