getInt($name); } }