// JavaScript Document
function init()
{
	 
	top.document.title = document.title;
	 
}