hack around JSON for IE7