/* 11-29-02 */
function timer(f) {
return function(x) {
var n1 = new Date();
f(x); // do something here
return new Date() - n1;
};
}

/*
var time_md5 = timer(function(s) { document.write(MD5(s)); });
document.write('; ', time_md5('execute'));
*/

/* 1-10-03 */
function repeater(f, n) {
var g = timer(function(y) {
var i=0; for (; i<n; i++) f(y);
});
return function(z) {
return g(z)/n;
}
}