document . write (' 708 ');