return {doit=function() return 9003 end}