function trim12 (str) {
	var	str = str.replace(/^\s\s*/, ''),
		ws = /\s/,
		i = str.length;
	while (ws.test(str.charAt(--i)));
	return str.slice(0, i + 1);
}

/* $(document).ready(function() { */
/* 	$('abbr.published').each(function() { */
/* 		alert($(this).html()) */
/* 		var d_split = trim12($(this).html()).split(' '); */
/* 		alert(d_split); */
/* 		$(this).html('<img src="/images/days/'+d_split[0]+'.png" /> <img src="/images/months/'+d_split[1].toLowerCase()+'.png" />'); */
/* 	}) */
/* }) */