document.write('01211');