Li-Fan Chen says to YSITD
2^( 5 + 1024>>1) -1