var oldcolor;
function colorchange(newcolor, obj){
	if (newcolor != null) {
		oldcolor=obj.style.backgroundColor;
		obj.style.backgroundColor=newcolor;
		obj.style.cursor="pointer";
	} else {
		obj.style.backgroundColor=oldcolor;
	}
}
function ahref(obj) {
	var url = obj.children[0];
	window.open(url, "_blank");
}
function printProperties(obj) {
    var properties = '';
    for (var prop in obj){
        properties += prop + "=" + obj[prop] + "\n";
    }
    alert(properties);
}