hotpants#1014

Alias to hot_pants