一万乘以百分之零点五是多少?