document.write('01936');