function $(elementID)
{return document.getElementById(elementID);}

function ready()
{
var gasdf=$('pl1');
var googlefrom=$('googlefrom');
if (!gasdf) gasdf=$('mcenter');
if(gasdf && googlefrom) 
gasdf.appendChild(googlefrom.childNodes[0]);
}
