if ( Cart_is_empty()) {
document.write('Your cart  <img src="images/cart.gif" border="0" /> is empty.');
} else {
document.write('You have <font color="#000080">');
Print_total_products(true);
document.write('</font> for <font color="#990000"> PHP');
Print_total(true);
document.write('</font> <br /><a href="managecart.html"><img src="images/viewcart.gif" border="0" /></a>');
}