/* now a part of js/detail.js */