/* merged into shared.js */