// // etc.js // // misc utilities // var trace = function(msg){ if (typeof(window)=='undefined' || !window.console) return var len = arguments.length var args = [] for (var i=0; i0) return candidates[0] else return null }