document.write('02131');