function printDomain(url)
{
	document.write('<span class="domain">' + url.match(/:\/\/(.[^/]+)/)[1] + ' - </span>');
}

function printDate(txt)
{
	var dateObj = new Date(txt);
	
	var month=new Array(12);
	month[0]="Jan";
	month[1]="Feb";
	month[2]="Mar";
	month[3]="Apr";
	month[4]="May";
	month[5]="Jun";
	month[6]="Jul";
	month[7]="Aug";
	month[8]="Sep";
	month[9]="Oct";
	month[10]="Nov";
	month[11]="Dec";
	
	document.write('<small class="p-time"><strong class="day">'+dateObj.getDay()+'</strong><strong class="month-year">'+month[dateObj.getMonth()]+'<br />'+dateObj.getFullYear()+'</strong></small>');
}

function changeCustomTitle(url)
{
	var obj = document.getElementById("customh1titlelink");
	if(obj != null)
		obj.href = url;
}