// ActionScript Document
if ( Cart_is_empty()) {
	document.write('0 Artikel im Warenkorb');
} else {
	Print_total_products(true);
	document.write(' = ');
	Print_total(true);
	document.write('<br> zzgl. Versandkosten<br>');
	document.write('<a href="pages/managecart.html"><img src="img/view_cart.gif" width="120" height="18" border="0" vspace="2"></a>');
}