Square ABCD has center O and AB = 900. Points E and F are on the side AB with AE < BF and E between A and F. If ∠EOF = 45° and EF = 400, then find BF.

1) 50(3+root7)
2) 250 + 50*root7
3) 443
4) Cannot be determined