console.log in IE7