document.write('01112');