for //@body echo (.) ;