在Rt三角形ABC中,角c=90度,若abc都是整数,且a=12,请求出bc的值