document.write('02047');