// This is done after page load.
$(document).ready(function() {
	var m = new Date().getTime();
	$("span.cart").load("/get_cart.php?r=" + m);
});