"; echo $corpsdouble; ?>