function showTitle(copy)
{
document.getElementById('title').childNodes[0].nodeValue = copy;
}