document.write('02512');