rem: var characterCode=e.keyCode; 
add: var characterCode; 
context: function isKeyPressed(e, kCode){	var characterCode=e.keyCode;	if(window.event)characterCode=window.event.keyCode;	else if(e)characterCode = e.which;	return characterCode == kCode;}
meta: 106	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/106/40432d56008169b15e519b94aa89da8fec866a12/amodules3.js/buggy/templates/shared/amodules3.js