document.write('02712');