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