Boolean.hashCode ()

Метод hashCode () класса Boolean реализован следующим образом:

public int hashCode() {
    return value ? 1231 : 1237;
}

Почему он использует 1231 и 1237? Почему не что-нибудь еще?