工行报价：欧元/美元：1.3129，客户现有13.12美元，最多可买多少欧元？（）