// JavaScript Document
function Set_Title(){
document.title;
document.open();
document.write(document.title);
document.close();
}