is 4 0 5 6 double 5.