/* 
 * JavaScript Core Extended Library.
 * Copyright © 2009 All Rights Reserved.
 */

Date.time = function(){
	return (new Date()).getTime();
};

String.prototype.quotemeta = function(){
	return this.replace(/\W/g, '\\$&');
};

if (typeof console == "undefined") var console = {};
if (typeof console.time == "undefined") console = {
	timeID: [],
	time: function(a){
		this.timeID[a] = Date.time();
	},
	timeEnd: function(a){
		var pastTime = Date.time() - this.timeID[a];
		alert(a + ': ' + pastTime + 'ms');
	}
};