document . write (' 1312 ');