<!--

{
document.write("<b>* All prices US dollars *</b>")
}
//-->
