var JQ = jQuery.noConflict();

function toInt (x) {
	if (x.substring(0, 1) == 0) return parseInt(x.substring(1));
	else return parseInt(x);
}