document.write('000512');