document.write('00512');