context: function image_rotate(i, j, x, y) {    var id = 't' + i + '.' + j;    var img = document.getElementById(id);    // img.src = '/i/grey.gif';    if (x)        img.style.left = (img.offsetLeft + x*tilewidth) + 'px';    if (y)        img.style.top = (img.offsetTop + y*tileheight) + 'px';}
meta: 11014	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/11014/58b8413ad19c5b21f3c782dbde97d7af24bb86ff/js.js/buggy/web/js.js