Added by Kostas Papadimitriou almost 11 years ago
common.js fix
handle nonexistent element in common.js
View differences