as 10 a 12Lispnnds